39 search results - page 4 / 8 » Pairing-Based Onion Routing |
ESORICS
2004
Springer
15 years 2 months 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
15 years 4 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
15 years 1 months ago
2009
ACM
DI
2006
14 years 9 months ago
2006
WISA
2004
Springer
15 years 2 months 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ï...