Sound Verification of Security Protocols: From Design to Interoperable Implementations

IEEE Symposium on Security and Privacy·14 min

• IEEE SP
• Hardware
• Date: 2025
• Location: Ieee Sp

Analysts investigate attack surfaces and defenses concerning OWL: Compositional Verification of Security Protocols via an Information-Flow Type System.

IEEE Symposium on Security and Privacy·22 min

• IEEE SP
• Community
• Date: 2025
• Location: Ieee Sp

Presenters detail vulnerability discovery and exploitation in Distance-Bounding Protocols: Verification without Time and Location.

IEEE Symposium on Security and Privacy·19 min

• IEEE SP
• Wireless
• Date: 2024
• Location: Ieee Sp

CL Rodriguez · Miguel Isabel · Albert Rubio

Industry experts analyze emerging threats surrounding 301 Scalable Verification of Zero Knowledge Protocols MIGUEL ISABEL MÁRQUEZ.