3 Hits in 4.7 sec

Untagging Tor: A Formal Treatment of Onion Encryption [chapter]

Jean Paul Degabriele, Martijn Stam
2018 Lecture Notes in Computer Science  
We provide a formal treatment of low-latency, circuit-based onion encryption, relaxed to the unidirectional setting, by expanding existing secure channel notions to the new setting and introducing circuit  ...  The Tor project has been actively looking to defend against tagging attacks and its most concrete alternative is proposal 261, which specifies a new onion encryption scheme based on a variable-input-length  ...  We are indebted to Nick Matthewson for clarifying certain historical and practical aspects of Tor. We also thank the anonymous reviewers for their constructive feedback.  ... 
doi:10.1007/978-3-319-78372-7_9 fatcat:nztg6tkfurgszgkghjtkxycnju

Modular Verification of Protocol Equivalence in the Presence of Randomness [chapter]

Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
2017 Lecture Notes in Computer Science  
Formally, a POMDP is a tuple M = (Z, z s , Act, ∆, O, obs) where Z is a countable set of states, z s ∈ Z is the initial state, Act is a (countable) set of actions, ∆ : Z × Act → Dist(Z) is a partial function  ...  Formally, a DTMC is a tuple M = (Z, z s , ∆) where Z is a countable set of states, z s is the initial state and ∆ : Z → Dist(Z) is the (partial) transition function which maps Z to a (discrete) probability  ...  With privacy goals in mind, these protocols lie at the heart of many anonymity systems such as Crowds [49] , mix-networks [19] , onion routers [37] and Tor [32] .  ... 
doi:10.1007/978-3-319-66402-6_12 fatcat:gg2bcq3xtbhbhhsh3lperlcxka

MessageVortex Transport Independent, Unobservable, and Unlinkable Messaging

Martin Gwerder
No additional protocol-specific infrastructure is required in public networks and allows a sender to control all aspects of a message, such as the degree of anonymity, timing, and redundancy of the message  ...  Carlos Nicolas of the University of Northwestern Switzerland for being such a valuable sparring partner allowing me to test my ideas.  ...  Henry Ford, American industrialist and founder of Ford Motor Co. Atoms are very special: they like certain particular partners, certain particular directions, and so on.  ... 
doi:10.5451/unibas-ep84631 fatcat:rsg5cjuzrvex7a2lrcnuldtuqa