2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
Engineers explore architecture and security mechanisms for 2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·18 min
Security researchers examine technical aspects of A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
IEEE Symposium on Security and Privacy·15 min
Engineers explore architecture and security mechanisms for An I/O Separation Model for Formal Verification of Kernel Implementations.
IEEE Symposium on Security and Privacy·17 min
Presenters detail vulnerability discovery and exploitation in An Extensive Formal Security Analysis of the OpenID Financial grade API Pedram Hosseyni.