Geunyeol YuPh.D. Student
rgyen [dot] postech.ac.kr |
I am a Ph.D. student in the Software Verification Laboratory at POSTECH, under the supervision of Kyungmin Bae. My research focuses on formal analysis and techniques, based on model checking and rewrite theory, aimed at developing secure and reliable computer systems.
A Flexible Framework for Integrating Maude and SMT Solvers Using Python
Geunyeol Yu, Kyungmin Bae
International Workshop on Rewriting Logic and its Applications (WRLA), 2024
paper | project
Formal Specification of Trusted Execution Environment APIs
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon
International Conference on Fundamental Approaches to Software Engineering (FASE), 2024
paper | slides | project