39 search results - page 4 / 8 » Pairing-Based Onion Routing |
ESORICS
2004
Springer
14 years 26 days ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We introduce Torsk, a structured peer-to-peer low-latency anonymity protocol. Torsk is designed as an interoperable replacement for the relay selection and directory service of th...
CCS
2009
ACM
13 years 11 months ago
2009
ACM
DI
2006
13 years 7 months ago
2006
WISA
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Encapsulating messages in onions is one of the major techniques providing anonymous communication in computer networks. To some extent, it provides security against trafï...