About
Dr. Yonghyun Kim is a Researcher in the field of Formally Verified Security at the Max Planck Institute for Security and Privacy in Bochum, Germany. Their work focuses on ensuring the correctness and security of software systems through rigorous formal methods and verification practices.
0Publications listed
Find Yonghyun Kim elsewhere
Related Searches
You Might Also Like
Marco MaidaMax Planck Institute for Software Systems · Researcher- GGilles BartheMax Planck Institute for Security and Privacy · Research Professor
Cătălin HrițcuInria · Professor- CCătălin HrițcuMax Planck Institute for Security and Privacy · Adjunct Professor
- GGilles BartheMax Planck Institute for Software Systems · Research Professor
Théo WinterhalterMax Planck Institute for Security and Privacy · Researcher