Lab directory
Information Security Lab
Information Security Lab
Sogang University · Computer Science and Engineering
Information sourcenot verified yet
Professor
Prof. 최재승
Professor's page · publicationsAbout
최재승 교수 연구실(정보보안 연구실)은 서강대 컴퓨터공학과 소속으로, 소프트웨어 보안·테스팅·프로그램 정적 분석을 연구한다. 소프트웨어의 버그와 보안 취약점을 자동으로 탐지·제거하기 위해 정적 분석, 퍼즈 테스팅, 기호 실행 등 상호보완적 기술을 결합하는 방법을 연구한다.
Research keywords
소프트웨어 보안소프트웨어 테스팅프로그램 정적 분석
Selected publications
- EVMpress: Precise Type Inference for Next-Generation EVM DecompilationInternational Workshop on Cryptocurrencies and Blockchain Technology (CBT), in conjunction with ESORICS · 2025
- PAVE: Information Flow Control for Privacy-preserving Online Data Processing ServicesACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 2025
- Evaluating Directed Fuzzers: Are We Heading in the Right Direction?ACM International Conference on the Foundations of Software Engineering (FSE) · 2024
- DAFL: Directed Grey-box Fuzzing Guided by Data DependencyUSENIX Security Symposium · 2023
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow AnalysesIEEE/ACM International Conference on Automated Software Engineering (ASE) · 2021
- NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary AnalysisIEEE Symposium on Security and Privacy (S&P) · 2021
Other labs in this department
- Intelligent Spoken Dialogue Systems Lab
구명완
지능형 음성대화 인터페이스 및 시스템
- Financial Machine Learning Lab
Saejoon Kim
기계학습, 금융경제학
- Network Lab
김승욱
게임이론기반 네트워크 운영
- Data-Centric Computing and AI Systems Laboratory
김영재
병렬처리, AI 시스템, 운영체제
- Auditory Intelligence Lab
Jihwan Kim
청각지능, 음성인식, 오디오 컨텐트 검색
- Machine Learning Systems Lab
문의현
머신러닝 및 고성능 컴퓨팅