Cryptographic Protocol Verification via Supercompilation (A Case Study)
, 2018 Abdulbasit Ahmed +2 more
openalex +2 more sources
Efficiency of a smart parking system in privacy-preserving using multi transaction mode consortium blockchain. [PDF]
Sci RepDurairaj A +6 more
europepmc +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
Efficient Cryptography Technique Of Authenticated Join Protocols In Wireless Sensor Networks
, 2018 openalex +1 more source
A lightweight trusted framework for secure data exchange and threat mitigation in IoT-enabled healthcare environments. [PDF]
Sci RepSamant PK +3 more
europepmc +1 more source
ENHANCED LIGHTWEIGHT CRYPTOGRAPHIC PROTOCOLS FOR SECURE IOT- BASED SENSOR AND AD HOC NETWORKS
Pankaj Rangaree +1 more
openalex +1 more source
A chaotic parallel hash engine with dynamic stochastic diffusion for blockchain and cloud security. [PDF]
Sci RepWang Q +5 more
europepmc +1 more source
Advancing Compliance with HIPAA and GDPR in Healthcare: A Blockchain-Based Strategy for Secure Data Exchange in Clinical Research Involving Private Health Information. [PDF]
Healthcare (Basel)Barbaria S +5 more
europepmc +1 more source
Blockchain-Enabled Identity Based Authentication Scheme for Cellular Connected Drones. [PDF]
Sensors (Basel)Su Y +5 more
europepmc +1 more source