시스템소프트웨어 연구실에 오신 것을 환영합니다.
시스템소프트웨어 연구실은 프로그래밍 언어 기술을 사용하여 안전한 AI 세상을 만드는 것을 목표로 하고 있습니다. 저희 연구실은 프로그램의 잠재적인 취약점을 사전에 분석하고 방지하는 핵심 기술을 개발합니다.
🔬 주요 연구 분야
1. 프로그램 보안 (Program Security)
프로그램의 취약점으로 인한 침해를 사전에 방지하는 연구를 수행하며, 특히 최신 소프트웨어 환경에 특화된 분석 기술을 개발합니다.
- 스마트 컨트랙트 보안취약점 자동 검출: 블록체인 환경에서의 계약 안전성 확보.
- 안드로이드 앱 보안 취약점 분석: 모바일 환경에서의 사용자 데이터 보호.
- 드론 소프트웨어 보안취약점 분석: 자율 이동체 시스템의 안전성 강화.
- PHP 웹 프로그램 보안취약점 자동 검출기 개발: 웹 기반 서비스의 안정성 확보.
2. 프로그램 분석 및 최적화
프로그램의 동작을 깊이 이해하고, 성능을 극대화하기 위한 추상화 및 병렬화 기술을 연구합니다.
- 양자 프로그램 분석 및 최적화
- 자료 병렬성을 사용한 병렬 프로그램 자동 생성: 고성능 컴퓨팅 환경에서 효율적인 병렬 처리 구현.
- 요약해석 (Abstract Interpretation)에 기반한 프로그램 분석: 프로그램의 안전성을 수학적으로 검증하는 기술.
- 자료 병렬성을 사용한 병렬 프로그램 자동 생성: 고성능 컴퓨팅 환경에서 효율적인 병렬 처리 구현.