Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan. Untraceability in the applied pi-calculus. In Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, ICITST 2009, London, UK, November 9-12, 2009. pages 1-6, IEEE, 2009. [doi]
@inproceedings{ArapinisCRR09,
title = {Untraceability in the applied pi-calculus},
author = {Myrto Arapinis and Tom Chothia and Eike Ritter and Mark Ryan},
year = {2009},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5402514},
researchr = {https://researchr.org/publication/ArapinisCRR09},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, ICITST 2009, London, UK, November 9-12, 2009},
publisher = {IEEE},
}