연구실 목록
최재승 교수 연구실
Information Security Lab
서강대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
교수 소개
최재승 교수
교수 홈페이지·논문소개
최재승 교수 연구실(정보보안 연구실)은 서강대 컴퓨터공학과 소속으로, 소프트웨어 보안·테스팅·프로그램 정적 분석을 연구한다. 소프트웨어의 버그와 보안 취약점을 자동으로 탐지·제거하기 위해 정적 분석, 퍼즈 테스팅, 기호 실행 등 상호보완적 기술을 결합하는 방법을 연구한다.
연구 키워드
소프트웨어 보안소프트웨어 테스팅프로그램 정적 분석
대표 논문
- 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
같은 학과의 다른 연구실
- 구명완 교수 연구실
지능형 음성대화 인터페이스 및 시스템
- 김세준 교수 연구실
기계학습, 금융경제학
- 김승욱 교수 연구실
게임이론기반 네트워크 운영
- 김영재 교수 연구실
병렬처리, AI 시스템, 운영체제
- 김지환 교수 연구실
청각지능, 음성인식, 오디오 컨텐트 검색
- 문의현 교수 연구실
머신러닝 및 고성능 컴퓨팅