We aim to understand the security level of a software and computer system and design better versions. We are particularly interested in data security in the cloud, secure and provable data handling on embedded/edge devices, identification of vulnerabilities using binary analysis, and the security of machine learning models.
Please drop an email to Hyungon Moon (hyungon@unist.ac.kr) if you are interested in working with us.