"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson

Strange Loop Conference·41 min

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

Presenters detail vulnerability discovery and exploitation in "Programming Distributed Systems" by Mae Milano.

Strange Loop Conference·35 min

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

Security researchers examine technical aspects of "Functional distributed systems beyond request/response" by Melinda Lu.

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.