Secure Track Verification
Security researchers examine technical aspects of Secure Track Verification.
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 OWL: Compositional Verification of Security Protocols via an Information-Flow Type System.
protocolscompositionalverification+3
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Sound Verification of Security Protocols: From Design to Interoperable Implementations.
protocolssoundverification+3
IEEE Symposium on Security and Privacy·20 min
Security researchers examine technical aspects of SoK: Social Cybersecurity.
socialvulnerability-researchthreat-detection