An Interactive Prover for Protocol Verification in the Computational Model
Analysts investigate attack surfaces and defenses concerning An Interactive Prover for Protocol Verification in the Computational Model.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
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.
kernelseparationmodel+3
IEEE Symposium on Security and Privacy·22 min
Presenters detail vulnerability discovery and exploitation in Distance-Bounding Protocols: Verification without Time and Location.
protocolsdistance-boundingprotocol+1
IEEE Symposium on Security and Privacy·14 min
Analysts investigate attack surfaces and defenses concerning OWL: Compositional Verification of Security Protocols via an Information-Flow Type System.
protocolscompositionalverification+3