Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols
, 2004 Roberto M. Amadio
openalex +1 more source
A byzantine-resistant blockchain framework for secure and scalable immigration management. [PDF]
Sci RepShafin KM, Reno S.
europepmc +1 more source
Implementing Authentication Protocol for Exchanging Encrypted Messages via an Authentication Server Based on Elliptic Curve Cryptography with the ElGamal-s Algorithm [PDF]
, 2007 Konstantinos Chalkias +2 more
openalex +1 more source
Continuous Authentication in Resource-Constrained Devices via Biometric and Environmental Fusion. [PDF]
Sensors (Basel)Zeeshan N +3 more
europepmc +1 more source
A Practical Attack on a Braid Group Based Cryptographic Protocol
, 2005 Alexei Myasnikov +2 more
openalex +1 more source
A hybrid multi-node QKD-ECC architecture for securing IoT networks. [PDF]
Sci RepChaturvedi R +7 more
europepmc +1 more source
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
, 2005 John C. Mitchell +3 more
openalex +1 more source
Post-Quantum enhanced Ascon for secure vehicular IoT data integrity. [PDF]
Sci RepA J B, P K, R K, R M.
europepmc +1 more source
Cryptographic Protocol Explication and End-Point Projection
European Symposium on Research in Computer Security, 2008 J. McCarthy, S. Krishnamurthi
semanticscholar +1 more source
HERMEES: A Holistic Evaluation and Ranking Model for Energy-Efficient Systems Applied to Selecting Optimal Lightweight Cryptographic and Topology Construction Protocols in Wireless Sensor Networks. [PDF]
Sensors (Basel)Prvulovic P +3 more
europepmc +1 more source