Our Lead Formal Verification Engineer, Dr Pierre-Yves Strub will be speaking on a panel at a National Institute of Standards and Technology (NIST) Workshop on Formal Methods within Certification Programs (FMCP), July 23-25, 2024 at the National Cybersecurity Center of Excellence (NCCoE).
He will be joining in with discussions with co-panellists Karthikeyan Bhargavan, Cryspen, Rod Chapman, AWS on the role of formally verified proofs for cryptographic standards and implementations.
For more information and a livestream of the event, click here.