Analyzing Cryptography in Context: A Cryptography-Native Approach to Threat Modeling

Ran Canetti and Julie Ha, Boston University; Gabriel Kaptchuk, University of Maryland, College Park