156
Voted
CSFW
13 years 4 months ago
2012 IEEE 
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
141
Voted
CSFW
13 years 4 months ago
2012 IEEE 
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
159
Voted
CSFW
13 years 4 months ago
2012 IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
130
Voted
CSFW
13 years 4 months ago
2012 IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
136
Voted
CSFW
13 years 4 months ago
2012 IEEE 
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...
|
Security Privacy