Sciweavers

468 search results - page 1 / 94
» A Certified Digital Signature
Sort
View
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
14 years 5 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
CRYPTO
1989
Springer
148views Cryptology» more  CRYPTO 1989»
14 years 2 months ago
A Certified Digital Signature
Ralph C. Merkle
PKC
1998
Springer
126views Cryptology» more  PKC 1998»
14 years 3 months ago
Certifying Trust
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
Ilari Lehti, Pekka Nikander
EUROPKI
2007
Springer
14 years 5 months ago
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka...
BIRTHDAY
2012
Springer
12 years 6 months ago
How to Read a Signature?
In this note we describe a cryptographic curiosity: readable messages that carry their own digital signature.
Vanessa Gratzer, David Naccache