Rapid Verification Techniques for Secure Cryptography 🔐 | CAV 2017 Invited Talk
Discover innovative methods for quickly verifying cryptographic protocols to enhance security in network communications. Presented by Chris Hawblitzel at CAV 2017 in Heidelberg.
Conference on Computer-Aided Verification
65 views • Sep 21, 2017
About this video
Invited talk @ CAV 2017, Heidelberg Germany
Video Information
Views
65
Likes
1
Duration
01:05:33
Published
Sep 21, 2017
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.