Publications

• G. Yu, S. Chae, K. Bae, and S. Moon, Formal Specification of Trusted Execution Environment APIs, International Conference on Fundamental Approaches to Software Engineering (FASE), 2024 Link

• J. Yeon, S. Chae, and K. Bae, Layered Abstraction for Formally Verifying Deep Neural Networks, Korea Software Congress (KSC), Dec 20-22, 2021 (in Korean) (Best paper award) Link

• J. Yeon, S. Chae, and K. Bae, Layered Abstraction Technique for Effective Formal Verification of Deep Neural Networks, Journal of KIISE, Vol. 49, No. 11, Nov 2022 (in Korean) (Excellent paper award) Link