Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure

Publication
Proceeding of the 3rd IEEE European Symposium on Security and Privacy