ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
The prevalent nature of Internet makes it a well suitable medium for many new types of services such as location-based services and streaming content. Subscribers to such services ...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...