Presentations

Part 1: Program Verification Part 2: From Vibe Coding to Vibe Proving

This presentation is divided into the following two parts: 1) Process, Proof, and Practice: Common Criteria Security Certification 2) The Reality of Certified Security: Mining the CC and FIPS Ecosystems with sec-certs