2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers

Name: 2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
Uploaded: 2024-01-01
Duration: 11 min 5 s
Description: 2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers — a 2024 IEEE S&P Sessions 2024 security conference talk on network (11:05 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P Sessions 2024 · 2024 · 11:05

▶

2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers — a 2024 IEEE S&P Sessions 2024 security conference talk on network (11:05 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

network

← Back to the Breach Arc Archive