معرفی
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.
۰مقاله منتشرشده
Yonghyun Kim در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Marco MaidaMax Planck Institute for Software Systems · پژوهشگر- GGilles BartheMax Planck Institute for Security and Privacy · استاد پژوهشی
Cătălin HrițcuInria · استاد- CCătălin HrițcuMax Planck Institute for Security and Privacy · استاد مدعو
- GGilles BartheMax Planck Institute for Software Systems · استاد پژوهشی
Théo WinterhalterMax Planck Institute for Security and Privacy · پژوهشگر