Sciweavers

783 search results - page 4 / 157
» On security proof of McCullagh
Sort
View
ACISP
2008
Springer
14 years 4 months ago
Distributed Verification of Mixing - Local Forking Proofs Model
Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski
SP
2010
IEEE
164views Security Privacy» more  SP 2010»
14 years 1 months ago
A Proof-Carrying File System
Deepak Garg, Frank Pfenning
ICICS
2007
Springer
14 years 4 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