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
isabelle
2 talks tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk / 2 · loading…