IronMask: Versatile Verification of Masking Security
Presenters detail vulnerability discovery and exploitation in IronMask: Versatile Verification of Masking Security.
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·21 min
Secure Track Verification
Security researchers examine technical aspects of Secure Track Verification.
trackverificationvulnerability-research