DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice
Security researchers examine technical aspects of DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice.
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
Eye on Tech·3 min
Network File System
Engineers explore architecture and security mechanisms for NFS vs. CIFS vs. SMB: File Sharing Protocols Compared.
protocolssmbcif+3