Language, Semantics, and Methods for Cryptographic Protocols
, 2000 Federico Crazzolara, Glynn Winskel
openalex +2 more sources
Process Algebraic Analysis of Cryptographic Protocols
, 2000 Michele Boreale +2 more
openalex +1 more source
Applications of Term Rewriting to Cryptographic Protocol Analysis (overview of the invited talk)
, 2000 Jonathan K. Millen
openalex +1 more source
Quantum cryptographic three party protocols
, 2000 Joern Mueller-Quade, Hiroyuki Imai
openalex +2 more sources
Coherent-pulse implementations of quantum cryptography protocols resistant to photon-number-splitting attacks [PDF]
, 2004 Antonio Acín +2 more
openalex +1 more source
FEASIBILITY OF THE INTERLOCK PROTOCOL AGAINST MAN-IN-THE-MIDDLE ATTACKS ON QUANTUM CRYPTOGRAPHY [PDF]
, 2005 Karl Svozil
openalex +3 more sources
Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. [PDF]
Sci RepLi Q, Han J, Yuan L, Li X, Wang X.
europepmc +1 more source
Intrusion detection system for V2X communication in VANET networks using machine learning-based cryptographic protocols. [PDF]
Sci RepVenkatasamy TK +3 more
europepmc +1 more source
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols
, 2001 John C. Mitchell +3 more
openalex +1 more source
Collaborative penetration testing suite for emerging generative AI algorithms. [PDF]
Appl Intell (Dordr)Radanliev P.
europepmc +1 more source