5255 search results - page 531 / 1051 » Formal Methods for Privacy |
187
click to vote
CCS
2011
ACM
14 years 7 months ago
2011
ACM
Over the last two decades FPGAs have become central components for many advanced digital systems, e.g., video signal processing, network routers, data acquisition and military sys...
197
Voted
CSFW
2011
IEEE
14 years 6 months ago
2011
IEEE
—We present a statistical test for detecting information leaks in systems with continuous outputs. We use continuous mutual information to detect the information leakage from tri...
211
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
For over two decades, timing attacks have been an active area of research within applied cryptography. These attacks exploit cryptosystem or protocol implementations that do not ru...
204
Voted
PET
2012
Springer
13 years 9 months ago
2012
Springer
This paper presents Anonymouth, a novel framework for anonymizing writing style. Without accounting for style, anonymous authors risk identification. This framework is necessary t...
199
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...