김용대 교수 연구실
Kim Yongdae Lab
한국과학기술원 · 전기및전자공학부
교수 소개
김용대 교수
교수 홈페이지·논문소개
KAIST 전기및전자공학부(및 정보보호대학원) 김용대 교수의 시스템보안 연구실(SysSec)이다. 차세대 정보통신 시스템과 사이버물리시스템의 보안을 연구하며, 셀룰러(LTE/5G) 베이스밴드·코어망 보안, 드론·센서 공격, GPS 스푸핑, 무선 보안 등 신기술의 새로운 보안·프라이버시 취약점을 발굴한다. IEEE Fellow이자 KAIST ICT 석좌교수.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
대표 논문
- LLFuzz: An Over-the-Air Dynamic Testing Framework for Cellular Baseband Lower LayersUSENIX Security Symposium · 2025
- CITesting: Systematic Testing of Context Integrity Violations in LTE Core NetworksACM CCS (Distinguished Paper Award) · 2025
- Too Much of a Good Thing: (In-)Security of Mandatory Security Software for Financial Services in South KoreaUSENIX Security Symposium · 2025
- FirmState: Bringing Cellular Protocol States to Shannon Baseband EmulationACM WiSec · 2025
- Enabling Physical Localization of Uncooperative Cellular DevicesACM MobiCom · 2024
- A Systematic Study of Physical Sensor Attack HardnessIEEE Symposium on Security and Privacy (S&P) · 2024
- BaseComp: A Comparative Analysis for Integrity Protection in Cellular BaseBand SoftwareUSENIX Security Symposium · 2023
- LTESniffer: An Open-source LTE Downlink/Uplink EavesdropperACM WiSec · 2023
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Software Testing and Debugging Techniques
김용대 교수 연구실
한국과학기술원 · 정보보호대학원
Branch-Level Fault Localization in ADS Planning via Temporal Coverage AnalysisProceedings of the ACM on software engineering. · 10월 1일김기섭 교수 연구실
대구경북과학기술원 · 전자공학전공
Towards Automatically Pruning Logging Code with Coding Agents: How Far Are We?프리프린트arXiv (Cornell University) · 10월 3일유신 교수 연구실
한국과학기술원 · 전산학부
Foreword: Pre-Generation Prediction and Characterisation of LLM Test Failures using the Jacobian Lens새 논문프리프린트arXiv (Cornell University) · 10월 20일
같은 학과의 다른 연구실
- 김동준 교수 연구실모집 중
Computer architecture, interconnection networks, mobile systems, hardware security
- 김문철 교수 연구실모집 중
Video coding, pattern recognition, visual communications
- 김민준 교수 연구실모집 중
Physical robot interaction, collaborative robots, aerial manipulation
- 김성민 교수 연구실모집 중
Wireless systems and networks, mobile computing, IoT
- 김용훈 교수 연구실모집 중
Atomic-scale device simulations, high-performance/machine-learning scientific computing
- 김준모 교수 연구실모집 중
Statistical signal processing, image processing, computer vision, information theory