"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022)
Discusses formal Modeling and Analysis of Distributed Systems by Ankush Desai (Strange Loop 2022) and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop·39 min
Demonstrates workflows, a new abstraction for distributed systems by Dominik Tornow (Strange Loop 2022) and evaluates key implications for security practitioners.
The Linux Foundation·33 min
Chun-Hung Tseng · Arka Saha
Discusses bug Hunting in Distributed Systems: Using Robustness Tests to Test and evaluates key implications for security practitioners.
PROIDEA Events·42 min
Rafał Maciak
Security researchers examine technical aspects of Rafał Maciak: Nonviolent Communication in the world of distributed systems | JDD 2023.