CirC: Compiler infrastructure for proof systems, software verification, and more
Security researchers examine technical aspects of CirC: Compiler infrastructure for proof systems, software verification, and more.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
SteelCon·54 min
Mert Satilmaz
What Trading Systems Taught Me About Breaking (And Defending) Infrastructure.
infrastructuretradingsystem+2
Strange Loop Conference·43 min
Martin Kleppmann
Presenters detail vulnerability discovery and exploitation in "Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann.
distributed-systemscorrectnesproof+3
IEEE Symposium on Security and Privacy·13 min
Engineers explore architecture and security mechanisms for Weak Fiat-Shamir Attacks on Modern Proof Systems.
weakfiat-shamirattack+3