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
Martin Kleppmann
3 talks in the archive.
Filters+
Loading filters…
1–3 of 3 talks · loading…
Strange Loop Conference·40 min
Martin Kleppmann · Diana Vasile
Industry experts analyze emerging threats surrounding "End-to-end encryption: Behind the scenes" by Martin Kleppmann, Diana Vasile.
encryptionend-to-endscene+2
Strange Loop Conference·48 min
Martin Kleppmann
Industry experts analyze emerging threats surrounding "Turning the database inside out with Apache Samza" by Martin Kleppmann.
databaseturninginside+3