연구실 목록
김형석 교수 연구실
Software Security Lab
충남대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
교수 소개
김형석 교수
교수 홈페이지·논문소개
소프트웨어보안 연구실은 리버스 엔지니어링과 코드 분석, 기계학습 기반 취약점 탐지를 연구한다. 해킹, 테스팅, 패치 등 소프트웨어 보안 전반의 기술을 다룬다.
연구 키워드
정보보호소프트웨어 보안
대표 논문
- Towards Sound Reassembly of Modern x86-64 BinariesACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 2025
- AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar InferenceACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 2024
- FunProbe: Probing Functions from Binary Code through Probabilistic AnalysisInternational Symposium on Foundations of Software Engineering (FSE) · 2023
- Reassembly is Hard: A Reflection on Challenges and StrategiesUSENIX Security Symposium · 2023
- How'd Security Benefit Reverse Engineers? The Implication of Intel CET on Function IdentificationInternational Conference on Dependable Systems and Networks (DSN) · 2022
같은 학과의 다른 연구실
- 고영준 교수 연구실
컴퓨터비전, 영상처리, 머신러닝
- 권진근 교수 연구실
자연어처리, 생성학습
- 김경섭 교수 연구실
기계학습, 응용과학계산
- 김기일 교수 연구실
이동네트워크, IoT
- 김상묵 교수 연구실
머신러닝, 데이터 사이언스, 의료 AI
- 김영국 교수 연구실
딥러닝·데이터 마이닝 (추천 시스템, 스마트 데이터/스마트홈 데이터 분석)