Prof. Dr. Seungjoo (Gabriel) Kim

Hello, I am Seungjoo Gabriel Kim (Nick : Pr0xy5kim). I am a full professor of Undergraduate Department of Cyber Defense / Graduate School of Information Security in Korea University, a member of CIST(Center for Information Security Technologies) of Korea University, a vice-director of CW-TEC(Cyber Weapon Test and Evaluation Center) of Korea University, a head of SANE(Security Analysis aNd Evaluation) Lab, an advisor of 'CyKor'(Cyber security club at Korea university), a founder/advisory director of a hacker group, 'HARU' and an international security & hacking conference,' SECUINSIDE'.

Prior to joining a tenure-track faculty member at Korea University in 2011, I was previously an Assistant & Associate Professor of School of Information and Communication Engineering in Sungkyunkwan University for 7 years ('04~'11). Before that, I worked as a Team Leader of Cryptographic Technology Team and (CC-based) IT Security Evaluation Team of KISA(Korea Internet & Security Agency) for 5 years ('98~'04). I received my B.S. ('94), M.S. ('96), and Ph.D. ('99) in Information Engineering from Sungkyunkwan University, Korea.

Also, I have served as a visiting professor of Korea Military Academy, and an executive committee member of Korean E-Government, an advisory committee member of several public and private organizations such as NIS(National Intelligence Service), Digital Investigation Advisory Committee of Supreme Prosecutors' Office, Ministry of Justice, The Bank of Korea, ETRI(Electronic and Telecommunication Research Institute), KISA, and Daum Kakao Corp. etc. Besides these, I technically advised the SBS TV drama, "Phantom" and the movie, "The Berlin File".

I have written 8 books, 70 SCI(E) papers, 29 patents, and according to Google Scholar, the citations to my works are 3300+. My ultimate research objective is security engineering for high-assurance trustworthy(or dependable) cyber-physical systems. Especially, I focus on High-Assurance Trustworthy Cyber-Physical Systems, High-Assurance Cryptography, Threat-Risk Modeling, Security Verification (including formal specification/verification, automated vulnerability finding), Security Evaluation Standards (including CMVP, CC, C&A, SSE-CMM), and Usable Security. If you want to know more, click here : or

Also, Our lab's R&Ds mainly focus on security testing & security evaluation/certification consulting. Till now we we have gotten some notable achievements :
  • Smart Card : In 2006, smart card O/S, co-worked with Samsung SDS, have earned the Common Criteria EAL4+ certification for the first time in Korea.

  • Printer (MFP) : In 2008, we co-developed the security modules of MFP (Multifunction Printer) with Samsung Electronics and guided them to get Common Criteria certification for the first time in Korea.

  • Database : In 2008, we (with WareValley) also received Common Criteria EAL4 certification for database security solution, 'Chakra' for the first time in Korea.
  • Smart TV : In 2017, LG electronics, which has been working with us, received 'world-first' Common Criteria EAL2 certification for home appliances (smart TV). CC EAL2 is the same security level as Samsung KNOX! (Prior to this, in 2015, we got TTA-verified security certification from TTA(Telecommunications Technology Association), which was well-known security testing and certification laboratory in Korea!)

Highlights of Recent Researches & Activities