http://7fa6xlti73nrpxl6cykao4wp7g3bg4624ghrtdomlvkeivvwclv2iyad.onion/anonbib/bibtex.html
Garcia and Ichiro Hasuo and Wolter Pieters and Peter van Rossum},
booktitle = {{Proceedings of the 3rd ACM Workshop on Formal Methods in Security
Engineering (FMSE05)}},
year = {2005},
month = {November},
location = {Alexandria, VA, USA},
www_pdf_url = {http://www.cs.ru.nl/~flaviog/publications/anonymity.pdf},
www_ps_url = {http://www.cs.ru.nl/~flaviog/publications/anonymity.ps},
www_section = {Formal methods},
www_tags = {selected},
} GKK03 @inproceedings{GKK03,
title =...