A Model of Onion Routing with Provable Anonymity

DOI10.1007/978-3-540-77366-5_9MaRDI QIDQ5448624zbMATH OpenOpenAlexFDO

Authors Joan Feigenbaum, Aaron Johnson, Paul Syverson

Publication date 7 March 2008

Published in Financial Cryptography and Data Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77366-5_9

zbMATH Keywords

anonymityonion routingprivacySecurity

Mathematics Subject Classification ID

Network protocols (68M12) Formal languages and automata (68Q45) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• A formalization of anonymity and onion routing
• Practical and provably secure onion routing
• A Formal Treatment of Onion Routing
• scientific article; zbMATH DE number 1690177
• Anonymous Stochastic Routing

Cited in

(16)

• Formalizing provable anonymity in Isabelle/HOL
• Another look at anonymous communication. Security and modular constructions
• Provable unlinkability against traffic analysis with low message overhead
• Cryptographic shallots: a formal treatment of repliable onion encryption
• scientific article; zbMATH DE number 1690177 (Why is no real title available?)
• gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor’s Anonymity
• PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION
• Financial Cryptography
• Practical and provably secure onion routing
• BackRef: accountability in anonymous communication networks
• A Formal Treatment of Onion Routing
• A formalization of anonymity and onion routing
• scientific article; zbMATH DE number 7706041 (Why is no real title available?)
• Poly onions: achieving anonymity in the presence of churn
• Dynamic security aspects of onion routing
• On evaluating anonymity of onion routing

This page was built for publication: A Model of Onion Routing with Provable Anonymity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448624)