Formalising $$\varSigma $$ Σ -Protocols and Commitment Schemes Using CryptHOL
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Formalising $$\varSigma $$ Σ -Protocols and Commitment Schemes Using CryptHOL ; day:9 ; month:9 ; year:2020 ; pages:1-47
Journal of automated reasoning ; (9.9.2020), 1-47
- Urheber
-
Butler, D.
Lochbihler, A.
Aspinall, D.
Gascón, A.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-020-09581-w
- URN
-
urn:nbn:de:101:1-2020102921371133845256
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:32 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Butler, D.
- Lochbihler, A.
- Aspinall, D.
- Gascón, A.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Efficient non-malleable commitment schemes
GoCo: planning expressive commitment protocols
Trapdoor commitment schemes and their applications
Trapdoor commitment schemes and their applications
Communicating CryptPad
Tracks from the Crypt
Tracks from the Crypt
Tracks from the Crypt
Identification Protocols and Signature Schemes Based on Supersingular Isogeny Problems
Tales from the crypt, Band 2
Tales from the crypt, Band 1
Testing Cryptography in wolfSSL and wolfCrypt
Efficient non-malleable commitment schemes
GoCo: planning expressive commitment protocols
Trapdoor commitment schemes and their applications
Trapdoor commitment schemes and their applications
Communicating CryptPad
Tracks from the Crypt
Tracks from the Crypt
Tracks from the Crypt
Identification Protocols and Signature Schemes Based on Supersingular Isogeny Problems
Tales from the crypt, Band 2
Tales from the crypt, Band 1
Testing Cryptography in wolfSSL and wolfCrypt
Efficient non-malleable commitment schemes
GoCo: planning expressive commitment protocols
Trapdoor commitment schemes and their applications
Trapdoor commitment schemes and their applications
Communicating CryptPad
Tracks from the Crypt
Tracks from the Crypt
Tracks from the Crypt
Identification Protocols and Signature Schemes Based on Supersingular Isogeny Problems
Tales from the crypt, Band 2
Tales from the crypt, Band 1