연구실 목록
신인식 교수 연구실
Real-Time Systems Security Lab
한국과학기술원 · 정보보호대학원
정보 출처아직 확인되지 않음
교수 소개
신인식 교수
교수 홈페이지·논문소개
KAIST CPS(Cyber-Physical Systems) 연구실은 신인식 교수가 이끄는 연구실로, 실시간 임베디드 시스템, 시스템 보안, 모바일 컴퓨팅, 사이버 물리 시스템을 연구한다. 신인식 교수는 전산학부 소속이며 정보보호대학원 책임교수(Chief Professor)를 겸한다.
연구 키워드
Real-time embedded systemscyber-physical systems
대표 논문
- VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action VerificationMobiCom · 2025
- EarDVFS: Environment-Adaptable RL-based DVFS for Mobile DevicesICCAD · 2025
- Leveraging Customized Heterogeneous Batteries to Alleviate Low Battery Experience for Mobile UsersIEEE Transactions on Sustainable Computing · 2025
- Supporting Flexible and Transparent User Interface Distribution Across Mobile DevicesIEEE Transactions on Mobile Computing · 2024
- FLUID-IoT: Flexible and Fine-Grained Access Control in Shared IoT Environments via Multi-user UI DistributionCHI · 2024
- MobileGPT: Augmenting LLM with Human-like App Memory for Mobile Task AutomationMobiCom · 2024
같은 학과의 다른 연구실
- 신승원 교수 연구실모집 중
Network security, software-defined networking
- 한민기 교수 연구실모집 중
Computational theory, secure computing
- 허기홍 교수 연구실모집 중
Computational theory, software design, secure computing
- 한준 교수 연구실모집 중
System/network, secure computing, interactive computing
- 강병훈 교수 연구실
System security, trustworthy AI systems, network distributed systems, blockchain, malware defense
- 김용대 교수 연구실
Network and distributed system security, applied cryptography