OWL: Compositional Verification of Security Protocols via an Information-Flow Type System
Analysts investigate attack surfaces and defenses concerning OWL: Compositional Verification of Security Protocols via an Information-Flow Type System.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Sound Verification of Security Protocols: From Design to Interoperable Implementations.
IEEE Symposium on Security and Privacy·22 min
Presenters detail vulnerability discovery and exploitation in Distance-Bounding Protocols: Verification without Time and Location.
IEEE Symposium on Security and Privacy·19 min
CL Rodriguez · Miguel Isabel · Albert Rubio
Industry experts analyze emerging threats surrounding 301 Scalable Verification of Zero Knowledge Protocols MIGUEL ISABEL MÁRQUEZ.