"Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann
Presenters detail vulnerability discovery and exploitation in "Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop Conference·41 min
Presenters detail vulnerability discovery and exploitation in "Programming Distributed Systems" by Mae Milano.
distributed-systemsdistributedsystem+2
Strange Loop Conference·35 min
Security researchers examine technical aspects of "Functional distributed systems beyond request/response" by Melinda Lu.
distributed-systemsdistributedsystem+1
Strange Loop Conference·43 min
Engineers explore architecture and security mechanisms for "Towards Language Support for Distributed Systems" by Heather Miller.
distributed-systemslanguagedistributed+1