Sciweavers

2 search results - page 1 / 1
» On the Power of Misbehaving Adversaries and Security Analysi...
Sort
View
CTRSA
2001
Springer
87views Cryptology» more  CTRSA 2001»
13 years 9 months ago
On the Power of Misbehaving Adversaries and Security Analysis of the Original EPOC
Marc Joye, Jean-Jacques Quisquater, Moti Yung
TCC
2005
Springer
163views Cryptology» more  TCC 2005»
13 years 10 months ago
Adaptive Security of Symbolic Encryption
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
Daniele Micciancio, Saurabh Panjwani