Automated Analysis of Cryptographic Assumptions in Generic Group Models
▶Automated Analysis of Cryptographic Assumptions in Generic Group Models — a 2014 Crypto 2014 security conference talk on crypto (17:51 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube