5255 search results - page 46 / 1051 » Formal Methods for Privacy |
FM
2006
Springer
14 years 1 months ago
2006
Springer
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...
COMPOS
1997
Springer
14 years 2 months ago
1997
Springer
CCS
2005
ACM
14 years 3 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
ESORICS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...