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.

https://cssl.unist.ac.kr