5255 search results - page 46 / 1051 » Formal Methods for Privacy |
136
Voted
FM
2006
Springer
15 years 11 months ago
2006
Springer
168
click to vote
CSFW
2007
IEEE
16 years 1 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...
213
Voted
CCS
2005
ACM
16 years 29 days 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...
182
Voted
ESORICS
2008
Springer
15 years 9 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...