Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
IEEE Computer Security Foundations Symposium, 2009 K. Bhargavan +4 more
semanticscholar +1 more source
A Lightweight Certificateless Authenticated Key Agreement Scheme Based on Chebyshev Polynomials for the Internet of Drones. [PDF]
Sensors (Basel)Li Z, Ju Z, Zhao H, Wei Z, Lan G.
europepmc +1 more source
Cryptographic Protocol Composition via the Authentication Tests
IACR Cryptology ePrint Archive, 2009 J. Guttman
semanticscholar +1 more source
Resilient cybersecurity in smart grid ICS communication using BLAKE3-driven dynamic key rotation and intrusion detection. [PDF]
Sci RepDokku NS +5 more
europepmc +1 more source
Entangled-state cryptographic protocol that remains secure even if nonlocal hidden variables exist and can be measured with arbitrary precision [PDF]
, 2006 Diederik Aerts +2 more
openalex +1 more source
Physically secure and fog-enabled lightweight authentication scheme for WBAN. [PDF]
Sci RepSubramani J +3 more
europepmc +1 more source
On the security of $\alpha\eta$: response to 'some attacks on quantum-based cryptographic protocols' [PDF]
, 2006 Horace P. Yuen +4 more
openalex +1 more source
Decoding the Solution for Man-at-the-End Attacks and Reverse Engineering on IoMT Devices: An Experimental Review of Techniques and Defences. [PDF]
J Multidiscip HealthcT AH, Sriraman H.
europepmc +1 more source
Multi-partite quantum cryptographic protocols with noisy GHZ states
, 2004 Kai Chen, Hoi‐Kwong Lo
openalex +2 more sources