Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann 0001, Michael Backes 0001. Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. In 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018. pages 77-91, IEEE, 2018. [doi]
Abstract is missing.