http://tttyx2vwp7ihml3vkhywwcizv6nbwrikpgeciy3qrow7l7muak2pnhad.onion/Publications.html
We give an IO-automata model of an onion-routing
protocol and, under possibilistic definitions, characterize the
situations in which anonymity and unlinkability are guaranteed. "Valet Services: Improving Hidden Servers with a Personal Touch",
Proceedings of the 2006 Privacy Enhancing Technologies Workshop,
Springer-Verlag, LNCS 4285.
[ PDF ] Location hidden services have received increasing attention as a
means to resist censorship and protect the identity of service
operators.