%0 Conference Paper %1 conf/eurosp/SpeicherSKSP0018 %A Speicher, Patrick %A Steinmetz, Marcel %A Künnemann, Robert %A Simeonovski, Milivoj %A Pellegrino, Giancarlo %A Hoffmann, Jörg %A Backes, Michael %B EuroS&P %D 2018 %I IEEE %K dblp %P 77-91 %T Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. %U http://dblp.uni-trier.de/db/conf/eurosp/eurosp2018.html#SpeicherSKSP0018 %@ 978-1-5386-4228-3

@inproceedings{conf/eurosp/SpeicherSKSP0018, added-at = {2018-07-11T00:00:00.000+0200}, author = {Speicher, Patrick and Steinmetz, Marcel and Künnemann, Robert and Simeonovski, Milivoj and Pellegrino, Giancarlo and Hoffmann, Jörg and Backes, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c78ae8e3df67e84ae594e6267a295002/dblp}, booktitle = {EuroS&P}, crossref = {conf/eurosp/2018}, ee = {https://doi.org/10.1109/EuroSP.2018.00014}, interhash = {694bb80c571a1d2eb4d45ba71f1ed66f}, intrahash = {c78ae8e3df67e84ae594e6267a295002}, isbn = {978-1-5386-4228-3}, keywords = {dblp}, pages = {77-91}, publisher = {IEEE}, timestamp = {2019-10-17T21:44:53.000+0200}, title = {Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure.}, url = {http://dblp.uni-trier.de/db/conf/eurosp/eurosp2018.html#SpeicherSKSP0018}, year = 2018 }