Software Formal Verification Lab
- KU Division of Smart Security
- School of Cybersecurity
- Graduate School of Data Protection and Privacy
- Institute of Cyber Security & Privacy
- Address145 Anam-ro, Korea University Science Campus, Seongbuk-gu, Seoul 02841, Republic of Korea
