Simon Langowski (Massachusetts Institute of Technology), Sacha Servan-Schreiber (Massachusetts Institute of Technology), Srinivas Devadas (Massachusetts Institute of Technology)

Trellis is a mix-net based anonymous broadcast
system with cryptographic security guarantees. Trellis can be used
to anonymously publish documents or communicate with other
users, all while assuming full network surveillance. In Trellis,
users send messages through a set of servers in successive rounds.
The servers mix and post the messages to a public bulletin board,
hiding which users sent which messages.

Trellis hides all network-level metadata, remains robust to
changing network conditions, guarantees availability to honest
users, and scales with the number of mix servers. Trellis provides three to five orders of magnitude faster performance and
better network robustness compared to Atom, the state-of-the-art
anonymous broadcast system with a similar threat model.
In achieving these guarantees, Trellis contributes: (1) a
simpler theoretical mixing analysis for a routing mix network
constructed with a fraction of malicious servers, (2) anonymous
routing tokens for verifiable random paths, and (3) lightweight
blame protocols built on top of onion routing to identify and
eliminate malicious parties.

We implement and evaluate Trellis in a networked deployment. With 64 servers located across four geographic regions,
Trellis achieves a throughput of 220 bits per second with 100,000
users. With 128 servers, Trellis achieves a throughput of 320
bits per second. Trellis’s throughput is only 100 to 1000× slower
compared to Tor (which has 6,000 servers and 2M daily users)
and is therefore potentially deployable at a smaller “enterprise”
scale. Our implementation is open-source.

View More Papers

On the Feasibility of Profiling Electric Vehicles through Charging...

Ankit Gangwal (IIIT Hyderabad), Aakash Jain (IIIT Hyderabad) and Mauro Conti (University of Padua)

Read More

Towards Automatic and Precise Heap Layout Manipulation for General-Purpose...

Runhao Li (National University of Defense Technology), Bin Zhang (National University of Defense Technology), Jiongyi Chen (National University of Defense Technology), Wenfeng Lin (National University of Defense Technology), Chao Feng (National University of Defense Technology), Chaojing Tang (National University of Defense Technology)

Read More

Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey...

Mohit Kumar Jangid (The Ohio State University), Yue Zhang (Computer Science & Engineering, Ohio State University), Zhiqiang Lin (The Ohio State University)

Read More

VulHawk: Cross-architecture Vulnerability Detection with Entropy-based Binary Code Search

Zhenhao Luo (College of Computer, National University of Defense Technology), Pengfei Wang (College of Computer, National University of Defense Technology), Baosheng Wang (College of Computer, National University of Defense Technology), Yong Tang (College of Computer, National University of Defense Technology), Wei Xie (College of Computer, National University of Defense Technology), Xu Zhou (College of Computer,…

Read More