Breaking and Partially Fixing Provably Secure Onion Routing

Explore a critical analysis of provably secure onion routing protocols in this IEEE conference talk. Delve into the discovery of vulnerabilities in HORNET and Sphinx systems that compromise anonymity, despite their supposed security proofs. Examine the flaws in the original proof strategy and learn about improved properties suggested to enhance the security of onion routing protocols. Gain insights into the process of analyzing and fixing proof strategies, understanding the importance of effective properties in ensuring privacy. Discover common mistakes in proofs and how to avoid them, ultimately contributing to the partial fixing of the family of provably secure onion routing protocols.