Ongoing Projects

▶ Research on Privacy-Preserving Technologies for Smart Contracts (Mar.2020~Feb.2023)

Block chain based distributed systems, recently getting enormous attentions, are now being evolved to Smart contract based systems. The major purpose of smart contracts running on block chain environments is to manage critical financial assets in better ways. In this projects, our team concentrates on a linguistic support for zero-knowledge based privacy preservation of distributed smart contracts. We collaborated with Internet Security Laboratory of Chungnam National Univ. (supported by NRF Korea).

For more information about this project =>click!

▶ Research on Static/Dynamic Analyses of VM-based obfuscation (Apr.2019~Oct.2019, Apr.2020~Jan. 2021, Apr.2021~Oct.2021, Apr.2022~Oct.2023)

Attackers usually deploy obfuscated malware to hide their malicious behaviors. Thus malware analysis is preceded by deobfuscation, which is often unmanageable with traditional methods like static analysis concrete execution due to their practical limitations. In this project, together with Hanyang Univ. and Software Analysis Laboratory of Chungnam National Univ., we are working on various deobfuscation methods including re-engineering virtual machine based obfuscation. To detect handlers for virtualized sections as well as virtual instruction pointers, we adopt program synthesis and machine learning as well as appropriate static and dynamic program analysis technologies. Especially, we are concentrating on making use of binary program synthesis to resolve virtualized obfuscation (supported by National Security Research Institute and Chungnam National Univ.)

For more information about this project =>click!

▶ Research on automatic analysis technologies on vulnerabilities (Jun.2016~Dec. 2019, Jun.2020~Dec.2023)

In forthcoming innovative circumstances like smart environments with digital economy, detecting program vulnerabilities prior to software deployment is extremely important to prevent possible physical or monetary damage. The goal of this project is to find appropriate methods for vulnerability detection in binary programs for new services. We extended our work to various architectures like ARM, x86 and various firmware, with other laboratories in Chungnam National Univ. , Ajou Univ. Yonsei Univ. and Gachoen Univ. and several security companies (2016-2019, supported by ITRC, Ministry of Science, ICT and Future planning, Korea). Currently, we are focusing on keeping spatial integrity of memory, by manipulate LLVM IR (2020-2023, supported by MSIT, Korea)

For more information about this project =>click!