Online Certificate Status Protocol (OCSP) Support for Public Key Cryptography for Initial Authentication in Kerberos (PKINIT) [PDF]
, 2006 Liming Zhu +2 more
openalex +1 more source
Entropy Extraction from Wearable Sensors for Secure Cryptographic Key Generation in Blockchain and IoT Systems. [PDF]
Sensors (Basel)Švarcmajer M +3 more
europepmc +1 more source
A symbolic decision procedure for cryptographic protocols with time stamps
, 2004 Liana Bozga +2 more
openalex +1 more source
Vehicle-to-Vehicle Secure Communication Protocol Based on Digital Vehicle Identification Number. [PDF]
Sensors (Basel)Escapa Gordón P +2 more
europepmc +1 more source
Tree automata with one memory set constraints and cryptographic protocols
, 2004 Hubert Comon, Véronique Cortier
openalex +1 more source
A logical language for specifying cryptographic protocol requirements
Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993 P. Syverson, C. Meadows
semanticscholar +1 more source
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
, 2004 Michael Backes
openalex +1 more source
A novel framework for secure cryptocurrency transactions using quantum crypto guard. [PDF]
PeerJ Comput SciAlsayaydeh JAJ +4 more
europepmc +1 more source
Infinite State AMC-Model Checking for Cryptographic Protocols [PDF]
, 2007 Detlef Kähler +2 more
openalex +1 more source