Esfandiar Mohammadi. Abstracting cryptographic protocols. PhD thesis, Saarland University, 2016. [doi]
@phdthesis{dnb-1771, title = {Abstracting cryptographic protocols}, author = {Esfandiar Mohammadi}, year = {2016}, url = {http://d-nb.info/1081077484}, researchr = {https://researchr.org/publication/dnb-1771}, cites = {0}, citedby = {0}, school = {Saarland University}, }