Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters
Security researchers examine technical aspects of Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters.
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·17 min
Presenters detail vulnerability discovery and exploitation in An Extensive Formal Security Analysis of the OpenID Financial grade API Pedram Hosseyni.
IEEE Symposium on Security and Privacy·11 min
Engineers explore architecture and security mechanisms for 2023 219 Formal Model Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.