ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Analysts investigate attack surfaces and defenses concerning ProVerif with Lemmas, Induction, Fast Subsumption, and Much More.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·20 min
Fast Audits
Security researchers examine technical aspects of Sabre: Sender-Anonymous Messaging with Fast Audits.
messagingsabresender-anonymou+3
IEEE Symposium on Security and Privacy·20 min
Industry experts analyze emerging threats surrounding Spiral: Fast, High-Rate Single-Server PIR via FHE Composition.
spiralfasthigh-rate+2
IEEE Symposium on Security and Privacy·17 min
Industry experts analyze emerging threats surrounding EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
evercryptfastverified+3