2432 search results - page 7 / 487 » Cryptographic logical relations |
CCS
2005
ACM
15 years 3 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
107
click to vote
CAV
2000
Springer
15 years 2 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
SAMOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract— This paper explores the resistance of MOS Current Mode Logic (MCML) against Differential Power Analysis (DPA) attacks. Circuits implemented in MCML, in fact, have uniqu...
FDTC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Balanced gates are an effective countermeasure against power analysis attacks only if they can be guaranteed to maintain their power balance. Traditional testing and reli...
EUSFLAT
2009
14 years 7 months ago
2009
