Sciweavers

783 search results - page 4 / 157
» On security proof of McCullagh
Sort
View
ACISP
2008
Springer
15 years 10 months ago
Distributed Verification of Mixing - Local Forking Proofs Model
Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski
100
Voted
CSFW
1997
IEEE
15 years 8 months ago
Mechanized proofs for a recursive authentication protocol
Lawrence C. Paulson
89
Voted
SP
2010
IEEE
164views Security Privacy» more  SP 2010»
15 years 7 months ago
A Proof-Carrying File System
Deepak Garg, Frank Pfenning
117
Voted
ICICS
2007
Springer
15 years 10 months ago
A Framework for Game-Based Security Proofs
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
David Nowak