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 : http://amhoin.blog.me/220835128004 or https://www.slideshare.net/skim71/introduction-to-sane-lab-korea-university

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

I am a frequent speaker and interviewee on Information Security. Some highlights include talks at KBS1 lecture/documentary show called 'Good Insight' in July, 2016, at KBS1 'Midnight Debate-Live' in March, 2016, and at KBS1 'Jang Young Sil Show' in July 2015. You can find my other talks and interviews here, and newspaper columns here. Also, have a look at my recent talk about "Industry 4.0 and the Impact on Cybersecurity" (Note : Watch also this video).

2017 Highlights : Yes, we did it again after Black Hat USA 2013 : See our talk, "Are you watching TV now? Is it real?: Hacking of smart TV with 0-day" at Hack in Paris 2017! (See press coverage at 01net.com and demo.), and I gave a keynote presentation in SECUINSIDE 2017 : "Hack-Proof Drone, What is it? - Weapons Systems and Cyber Security -". Also, our paper, "LG vs. Samsung Smart TV: Which Is Better for Tracking You?", has been accepted to CODE BLUE 2017!
2016 Highlights : Finally, I got tenured and received best lecturer award again after 2012! In addition, I was appointed as an Advisory Committee Member of the PyeongChang 2018 Olympic and Paralympic Winter Games. Furthermore, white-hat hackers union, 'HARU' became a LEGAL entity. HARU will start the stage 2 as an OFFICIAL NON-PROFIT CORPORATION and become the most active community of hackers in Korea! Please cheering!!
2015 Highlights : Finally, we did it! "DEFKOR," the team comprised of my students from the Undergraduate Department of Cyber Defense / Graduate School of Information Security in Korea University and the security technology team from Korea-based IT security solution provider Raonsecure, won the TOP prize at the "DEFCON Capture the Flag (CTF) 23," which was held in Las Vegas. DEFCON is the world’s largest international hacking competition, and is dubbed the Hackers' World Cup among hackers. (In 2015, 4,000+ teams qualified, 15 teams made finalists!)

Also, I talked about the various cybersecurity educational and professional training programs of Korea at CODE BLUE 2015 (OMG!! My CODE BLUE presentation slide was selected as one of the 'Most Talked-About Slide on Facebook'!), and we discovered some critical vulnerabilities in LTE Femtocell and notified to the operator and manufacturer (Research Paper @ SECUINSIDE 2015). Additionally, our case studies submission on the "DDoS Attack to DNS Using Infected IoT Devices" to this year's ACSAC 2015 (The 31st Annual Computer Security Applications Conference 2015, which is one of the most important cyber security conferences in the world and the oldest information security conference held annually) was included in the program.
2014 Highlights : Finally, SECUINSIDE CTF winners were pre-qualified for DEFCON CTF!, and, honorably, I became a Visiting Professor at Korea Military Academy. Besides, our paper, "Developing a Protection Profile for Smart TV" was accepted at The 15th ICCC 2014 (International Common Criteria Conference 2014), and another paper "(The First Experimental) Study on Smart TV Forensics" was presented at Journal of the KIISC (Korean Institute of Information Security and Cryptology).
2013 Highlights : "Smart TV Security - #1984 in 21st century" appeared at The 14th CanSecWest 2013 (The 14th CanSecWest Applied Security Conference 2013) (See press coverage at MBC, KBS, channelIT, inews24.com), and the extended version, "Hacking, Surveilling, and Deceiving Victims on Smart TV" was also presented at The 17th Black Hat USA 2013 (See press and book coverage at The Wall Street Journal, The Guardian, Fox News, ZDNet, Network World, Digital Trends, CBS, KBS, The Electronic Times, Nitesh Dhanjani's "Abusing the Internet of Things - Blackouts, Freakouts, and Stakeouts - (O'REILLY)", ENISA's report entitled "Security and Resilience of Smart Home Environments", and etc.). Furthermore, We had two papers accepted at The 14th ICCC 2013 (The 14th International Common Criteria Conference 2013). One was "Problem and Improvement of the Composition Documents for Smart Card Composite Product Evaluations", and the other one was "How the CC Harmonizes with Secure Software Development Lifecycle". One more thing! "SHRT - New method of URL shortening including relative word of target URL" was presented at SOUPS 2013 (The Symposium on Usable Privacy and Security 2013) as a poster.
2012 Highlights : I was appointed as an Advisory Committee Member of Special Prosecutor, Tae-Seok Park on the case of 2011 Re-Election DDoS Scandal (See press coverage at The Electronic Times), and technically advised the TV drama, "Phantom" and the film, "The Berlin File". Furthermore, our journal paper, "Efficient Certificateless Proxy Signature Scheme with Provable Security" was accepted at Information Sciences (IF:3.643).
2011 Highlights : I moved to Korea University and established my lab, "SANE (Security Analysis aNd Evaluation) Lab". Furthermore, Hacker Group, HARU and International Security & Hacking Conference, SECUINSIDE was founded in 2011 by me and my colleagues.
2010 Highlights : "Protection Profile for E-Certificate Issuance System" was presented at The 11th ICCC 2010 (The 11th International Common Criteria Conference 2010), and "Efficient Secure Group Communications for SCADA" was presented at IEEE Transactions on Power Delivery.
2009 Highlights : "Advanced Key Management Architecture for Secure SCADA Communications" appeared at IEEE Transactions on Power Delivery.
2008 Highlights : Our paper, "Protection Profile for E-Voting Systems" was acepted at the 9th ICCC 2008 (The 9th International Common Criteria Conference 2008), which was a major conference for the community of experts involved in security evaluation.
2007 Highlights : Our journal paper, "Cryptanalysis on the Authentication Mechanism of the NateOn Messenger", showed that NateOn (which was the biggest messenger service in Korea) was vulnerable to replay attacks. (See press coverage at JoongAng Daily, Yonhap News) Furthermore, "Efficient Password-Authenticated Key Exchange Based on RSA" appeared at The 7th CT-RSA 2007 (The 7th Cryptographers' Track at RSA Conference 2007), and "Security Weakness in a Three-Party Pairing-Based Protocol for Password Authenticated Key Exchange" appeared at Information Sciences (IF:2.147). One more thing! I received NIS(National Intelligence Service) Chief's Award for excellent contribution to national cyber security.
2005 Highlights : "A Weakness in the Bresson-Chevassut-Essiari-Pointcheval's Group Key Agreement Scheme for Low-Power Mobile Devices" was accepted at IEEE Communication Letters.
2004 Highlights : I leaved KISA(Korea Information Security Agency), and became an Assistant Professor at Sungkyunkwan University.
2003 Highlights : We had two papers accepted at The 3rd CT-RSA 2003 (The 3rd Cryptographers' Track at RSA Conference 2003). One was "Rethinking Chosen-Ciphertext Security under Kerckhoffs' Assumption", and the other one was "An Analysis of Proxy Signatures : Is A Secure Channel Necessary?". Furthermore, "RSA Speedup with Chinese Remainder Theorem Immune against Hardware Fault Cryptanalysis" appeared at IEEE Transactions on Computers.
2001 Highlights : "On The Security of The Okamoto-Tanaka ID-Based Key Exchange Scheme against Active Attacks" was accepted at IEICE Trans. Fundamentals.
1999 Highlights : "Comments on Password-Based Private Key Download Protocol of NDSS'99" appeared at Electronics Letters (IF:1.164)
1997 Highlights : "Proxy Signatures, Rrevisited" appeared at The 1st ICICS 1997 (The 1st International Conference on Information and Communication Security 1997). According to Google Scholar, this paper has been cited more than 670 times.
1996 Highlights : "Convertible Group Signatures" appeared at The 5th AsiaCrypt 1996, which was one of three flagship conferences for cryptography research.

Elsewhere

Home

Prof. Dr. Seungjoo (Gabriel) Kim