"War Time Proofs and Futuristic Programs" by Valeria de Paiva

Strange Loop Conference·43 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Martin Kleppmann

Presenters detail vulnerability discovery and exploitation in "Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann.

Strange Loop Conference·35 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Security researchers examine technical aspects of "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman.

IEEE Symposium on Security and Privacy·14 min

• IEEE SP
• Community
• Date: 2025
• Location: Ieee Sp

Industry experts analyze emerging threats surrounding Less Is More: Refinement Proofs for Probabilistic Proofs.