Benedikt Schmidt. Formal analysis of key exchange protocols and physical protocols. PhD thesis, ETH Zurich, Zürich, Switzerland, 2012. [doi]
@phdthesis{basesearch-13955, title = {Formal analysis of key exchange protocols and physical protocols}, author = {Benedikt Schmidt}, year = {2012}, url = {https://www.base-search.net/Record/32aab1c125ae094f6c51697264cff6f12eb4e5fef39d15ac8dfde4c811a10139}, note = {base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/72713)}, researchr = {https://researchr.org/publication/basesearch-13955}, cites = {0}, citedby = {0}, school = {ETH Zurich, Zürich, Switzerland}, }