72 search results - page 1 / 15 » Computational and Information-Theoretic Soundness and Comple... |
102
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
126
Voted
CRYPTO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
79
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
92
Voted
IFIPTCS
2000
15 years 4 months ago
2000
82
Voted
ICISC
2003
15 years 2 months ago
2003