Lab directory
Real-Time Systems Security Lab
Real-Time Systems Security Lab
Information sourcenot verified yet
Professor
Prof. 신인식
Professor's page · publicationsAbout
KAIST CPS(Cyber-Physical Systems) 연구실은 신인식 교수가 이끄는 연구실로, 실시간 임베디드 시스템, 시스템 보안, 모바일 컴퓨팅, 사이버 물리 시스템을 연구한다. 신인식 교수는 전산학부 소속이며 정보보호대학원 책임교수(Chief Professor)를 겸한다.
Research keywords
Real-time embedded systemscyber-physical systems
Selected publications
- 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
Other labs in this department
- Network Security LabRecruiting
Seungwon Shin
Network security, software-defined networking
- Minki HhanRecruiting
Computational theory, secure computing
- Kihong HeoRecruiting
Computational theory, software design, secure computing
- CyPhy LabRecruiting
Jun Han
System/network, secure computing, interactive computing
- Software Security Lab
Brent Byunghoon Kang
System security, trustworthy AI systems, network distributed systems, blockchain, malware defense
- System Security Lab
Yongdae Kim
Network and distributed system security, applied cryptography