KAIST Graduate School of Information Security

2023-08-23
BaseComp： A Comparative Analys... 정보보호대학원 윤인수 교수 연구팀과 김용대 교수 연구팀은 스마트폰에서 셀룰러 통신을 담당하는 베이스밴드 소프트웨어에 존재하는 논리적 취약점을 자동으로 찾아낼 수 있는 BaseComp를 공동 연구 개발했으며 이를 통해 총 29개의 버그를 탐지하였다. 베이스밴드 소프트웨어를 분석하는 기존의 많은 연구들은 테스트하고자 하는 메시지를 실제 기기 혹은 에뮬레이...
2023-07-07
유창동 교수 연구진, ＇Information-Theor... 2022년 아랍 에미리트 아부다비에서 열린 Empirical Methods Natural Language Processing (EMNLP) 국제 자연어 학회에서 인공지능 대화 모델의 무분별한 글자 복사생성 문제를 해결할 수 있는 방법에 대한 연구를 발표하였다. 해당 학회는 Acceptance rate 22％로 매우 경쟁력을 갖는 학회로 선정된...
2023-07-03
XOCB： Beyond-Birthday-Bound Se... 정보보호대학원 이주영 교수 연구팀은 암호화 모드 OCB(offset codebook mode)를 개량한 XOCB를 제안하여 2023년 4월 암호 분야 최우수 학회 중 하나인 Eurocrypt에서 발표하였다. 논문의 전반적인 내용은 2023년 4월 21일 학회 홈페이지를 통해 공개되었다. OCB(offset codebook mode)는 2001...
2023-07-03
SegFuzz： 커널 동시성 버그 탐지를 위한 퍼징 기... 정보보호대학원 신인식 교수 연구팀과 권영진 교수 연구팀은 커널의 동시성 버그 (예: race condition)를 효과적으로 탐지하기 위한 퍼징 기법인 SegFuzz를 공동 연구 개발했다. 해당 연구는 서울대학교와 공동으로 진행되었으며 2023년 5월 컴퓨터 보안분야 최우수 학회 중 하나인 S&P에 발표되었다. 공동 연구진은 본 연구를...
2023-07-03
AITIA： 커널 동시성 버그 디버깅 자동화 기법 연구 정보보호대학원 신인식 교수 연구팀과 권영진 교수 연구팀은 커널에서 동시성 버그 (예: race condition)가 발생했을 때, 동시성 버그를 자동으로 디버깅하여 동시성 버그의 근본 원인 (root cause)을 정확하게 진단할 수 있는 기법을 공동 연구 개발했다. 해당 연구는 서울대학교와 공동으로 진행되었으며, 2023년 5월 컴퓨터 시스...
2022-05-17
Rubato： Noisy Ciphers for Appr... 본 연구에서는 암호문에 노이즈를 추가하는 새로운 설계 사상에 기반하는 대칭키 암호 알고리즘 Rubato를 제안하였으며, 이렇게 설계된 암호화 방식이 근사 연산을 지원하는 동형 암호-대칭키 암호 하이브리드 구조에서 뛰어난 효율성을 제공한다는 것을 보였다. 동형암호는 암호문 상의 계산을 가능하게 하는 암호화 방식이다. 이를 사용하여 개인정보의 유...
2021-03-17
FraudDetective： 안드로이드 모바일 광고 사... 손수엘 교수의 연구팀은 모바일 ad fraud 탐지 및 인과관계 분석 시스템연구를 국제 우수 보안 학회중 하나인 NDSS’21에 발표하였다. 모바일 앱 시장이 점점 커짐에 따라 많은 모바일 광고 사기들이 발생하고 있다. 그 중에서도 Google Play Store와 같은 앱 시장에서 배포되는 앱 중 광고 사기를 user 몰래 발생하...
2021-03-17
BaseSpec： 이동통신 프로토콜에 대한 베이스밴드 ... 정보보호대학원 김용대 교수 연구팀은 최근 이동통신 베이스밴드 소프트웨어 구현상의 문제를 표준과의 비교 분석을 통해 탐지하는 방법을 제시했다. 이 방법을 통해 실제 소프트웨어 구현상의 심각한 취약점 및 다양한 기능적인 문제를 찾을 수 있음을 보였다. 베이스밴드(baseband)는 스마트폰과 같은 모바일 기기에서 이동통신 기지국과의 통신을 담당한...
2020-12-07
SLIC： 탐지가 어려운 이동통신망 사용자 이동경로 추... 정보보호대학원 강민석 교수 연구팀은 최근 4G, 5G 이동통신시스템의 핵심기술 중 하나인 주파수 집성(carrier aggregation, CA)기술에 심각한 부채널(side channel)이 존재함을 밝히고, 이 CA부채널을 통해서 사용자 실내외 이동경로를 정확하게 추정할 수 있는 강력한 사용자 개인정보 침해 공격이 가능함을 실험을 증명했다. ...
2020-12-04
Agamotto： 디바이스 드라이버 Fuzzing을 가... 운영체제 커널 레벨에서 동작하는 디바이스 드라이버의 취약점은 운영체제의 보안을 위협하는 큰 문제 중 하나로 잘 알려져 있다. 최근에 와이파이나 USB와 같은 주변 장치들이 더 발달하고, 또 서로 연결되면서, 이러한 주변 장치들을 이용해서 운영체제의 디바이스 드라이버의 취약점을 공격할 수 있다는 증거들이 지속적으로 보고되고 있다. 이러한 문제의...
2020-12-04
SelMon ： 범용 하드웨어 기반 신뢰 연산 기술 강병훈 교수팀은 범용하드웨어(디버그 와치포인트 및 데이터 실행 방지 기능: DEP)기반 신뢰 연산 기술을 국제 우수 시스템 학회 중 하나인 MobiSys’20(1저자: 충남대학교 장진수 교수)에 발표하였다. 신뢰 연산 기술은 삼성 녹스와 같은 보안 플랫폼에서 주로 사용되는 기술로서 ARM 프로세서의TrustZone 보안 기술과 가...
2020-12-04
Entropic： 정보이론에 기반한 퍼징의 새로운 스케... 퍼징 분야에서 오랫동안 풀리지 않던 문제는 퍼징을 얼마나 오랫동안 돌리면 충분한가에 대한 부분이다. 차상길 교수 연구진은 Monash 대학 연구진과 함께 이 문제에 답하기 위해 AFL, LibFuzzer 등에서 자주 사용되는 grey-box 퍼징 알고리즘을 수학적으로 모델링하고, 퍼징을 통해 새로운 seed를 찾을 수 있는 기대값이 정보이론에서 말하는 엔트...

1 2 3

연구 소식