- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Butler, D.
Lochbihler, A.
Aspinall, D.
Gascón, A.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-020-09581-w
- URN
-
urn:nbn:de:101:1-2020102921371133845256
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Butler, D.
- Lochbihler, A.
- Aspinall, D.
- Gascón, A.
- SpringerLink (Online service)
Other Objects (12)
GoCo: planning expressive commitment protocols
Communicating CryptPad
Tracks from the Crypt
Tracks from the Crypt
Tracks from the Crypt
Tales from the crypt, Band 2
Tales from the crypt, Band 1
Testing Cryptography in wolfSSL and wolfCrypt
CogniCrypt - the secure integration of cryptographic software
CHERI-Crypt: Transparent Memory Encryption on Capability Architectures
DNA-based watermarks using the DNA-Crypt algorithm
Sigma-Localization and sigma-Martingales
GoCo: planning expressive commitment protocols
Communicating CryptPad
Tracks from the Crypt
Tracks from the Crypt
Tracks from the Crypt
Tales from the crypt, Band 2
Tales from the crypt, Band 1
Testing Cryptography in wolfSSL and wolfCrypt
CogniCrypt - the secure integration of cryptographic software
CHERI-Crypt: Transparent Memory Encryption on Capability Architectures
DNA-based watermarks using the DNA-Crypt algorithm
Sigma-Localization and sigma-Martingales
GoCo: planning expressive commitment protocols
Communicating CryptPad
Tracks from the Crypt
Tracks from the Crypt
Tracks from the Crypt
Tales from the crypt, Band 2
Tales from the crypt, Band 1
Testing Cryptography in wolfSSL and wolfCrypt
CogniCrypt - the secure integration of cryptographic software
CHERI-Crypt: Transparent Memory Encryption on Capability Architectures
DNA-based watermarks using the DNA-Crypt algorithm