Revolutionizing Cryptography: Automated Analysis of Assumptions in Generic Group Models π
Discover how cutting-edge automation techniques are transforming the evaluation of cryptographic assumptions in generic group models, ensuring stronger security foundations.
IACR
336 views β’ Oct 26, 2014
About this video
Automated Analysis of Cryptographic Assumptions in Generic Group Models by John C. Mitchell, Andre Scedrov, Dario Fiore, Gilles Barthe, Edvard Fagerholm, Benedikt Schmidt. Talk at Crypto 2014.
Video Information
Views
336
Likes
1
Duration
17:51
Published
Oct 26, 2014
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.