- 1984년3월-1988년2월, 서울 대학교 컴퓨터공학과 학사
- 1988년3월-1990년2월, 서울 대학교 컴퓨터공학과 석사
- 1991년9월-1997년4월, 미국 일리노이주립대학교(UIUC) 전산학과 박사

- 1997년5월-8월, 미국 일리노이 주립대 전산과 박사후 연구원
- 1997년9월-1999년7월, 미국 뉴저지 주립 공대 전산과 조교수
- 1998년5월-1999년5월, 미국 일리노이 주립대 전산과 연구조교수 (겸직)
- 1999년8월-2003년2월, KAIST 전자전산학과 조교수/부교수
- 2003년3월-2007년9월, 서울대학교 전기.컴퓨터공학부 부교수
- 2007년10월-현재, 서울대학교 전기.컴퓨터공학부 정교수

- 소프트웨어와 시스템의 보안을 위한 기술
- 컴퓨팅 디바이스의 보안을 위한 하드웨어 기술
- 지능형 보안 기술
- AI의 보안을 위한 기술