@conferenceObjectPart{SpeicherSteinmetzKünnemannSimeonovskiPellegrinoHoffmannBackes_2018,
title={Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure},
author={Speicher, Patrick and Steinmetz, Marcel and Künnemann, Robert and Simeonovski, Milivoj and Pellegrino, Giancarlo and Hoffmann, Jörg and Backes, Michael},
isbn={978-1-5386-4228-3},
doi={http://dx.doi.org/10.22028/D291-29343},
pages={77-91},
publisher={IEEE},
year={2018}
}