The importance of safeguarding individuals' privacy rights in online activities is unmistakable
in today's anonymity networks. Since the introduction of Mixnet by Chaum, numerous …

This work investigates the fundamental constraints of anonymous communication (AC)
protocols. We analyze the relationship between bandwidth overhead, latency overhead, and …

Protecting individuals' privacy in online communications has become a challenge of
paramount importance. To this end, anonymous communication (AC) protocols such as the …

Time-based primitives like time-lock puzzles (TLP) are finding widespread use in practical
protocols, partially due to the surge of interest in the blockchain space where TLPs and …

After several years of research on onion routing, Camenisch and Lysyanskaya, in an attempt
at rigorous analysis, defined an ideal functionality in the universal composability model …

We present a theoretical framework for analyzing the efficiency of consensus protocols, and
apply it to analyze the optimistic and pessimistic confirmation times of state-of-the-art …

The security of almost any real-world distributed system today depends on the participants
having some" reasonably accurate" sense of current real time. Indeed, to name one …

An anonymous communication network (ACN) is designed to protect the identities of two
parties communicating through it, even if an adversary controls or observes parts of the …

The popularity of Internet applications has made communication privacy an increasingly
important security requirement. As an important aspect of privacy, anonymity ensures that a …

This work introduces an extension of the UC framework with an abstract notion of time that
allows for modeling relative delays in communication and sequential computation without …