A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Security researchers examine technical aspects of A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·14 min
Analysts investigate attack surfaces and defenses concerning An Interactive Prover for Protocol Verification in the Computational Model.
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.
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Sound Verification of Security Protocols: From Design to Interoperable Implementations.