In this research report we present an UC framework for the general task of anonymous communication. Definition of the ideal and the real models are carried out in the BPW (Backes-Pfitzmann-Waidner) formalism. It is shown how this approach relates to and extends earlier proposals [10],[15]. We

We present the formalization and analysis of a practical paradigm for general anonymous communication using standard cryptographic primitives. Specifically we present a probabilistic analysis of onion routing in a black-box model of anonymous communication in the Universally Composable framework

investments, using a comprehensive sample of U.S. based VCs over the period 1980 to 2003. VC funds whose parent firms enjoy more influential network positions have significantly better performance, as measured by the proportion of portfolio company investments that are successfully exited through an initial

Social networks represent relationships between individuals when they take part in some social activities. For example, a telephone communication network could be built according to the phoning record from residents in a city. The WWW and MSN communication network are other examples of social

This report demonstrates a technique for proving the anonymity guarantees of communication systems, using a mechanised theorem-prover. The approach is based on Shannon’s theory of information and can be used to analyse probabilistic programs. The information-theoretic metrics that are used

, these solutions suffer from a lack of integration with standardized IP approaches and therefore missed a wide adoption by the general public. This paper proposes an anonymous circuit establishment scheme derived from the powerful Mix concept and inheriting from the IPSec Framework. This solution has been

It is a well-known fact that the progress of personal communication devices leads to serious concerns about privacy in general, and location privacy in particular. As a response to these issues, a number of Location-Privacy Protection Mechanisms (LPPMs) have been proposed during the last decade

of Tor clients using COGS based on Tor’s entry guard selection and rotation algorithms, with real entry guard data collected over the course of eightmonths fromthelive Tor network. Categories andSubjectDescriptors C.2.0[Computer-Communication Networks]: General—Data

Abstract We study the comovement of asset returns caused by communication among investors. We develop an equilibrium model of investor communication and trading and derive a number of testable predictions. We use a novel dataset on an active online stock forum in China to measure investor

the problem of using steganography through a widely used network protocol (i.e. HTTP). We analyze the steganographic possibilities of HTTP, and propose an ac-tive warden model to eliminate any covert communication channel. Our framework is meant to be useful in many scenarios. It could be employed to ensure