Towards an information-theoretically safe cryptographic protocol
Pedro Fortuny Ayuso
openalex +2 more sources
Enhancing cloud security and deduplication efficiency with SALIGP and cryptographic authentication. [PDF]
Periasamy JK+3 more
europepmc +1 more source
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
Santiago Escobar+2 more
openalex +1 more source
Cybersecurity in the financial sector and the quantum-safe cryptography transition: in search of a precautionary approach in the EU Digital Operational Resilience Act framework. [PDF]
Jančiūtė L.
europepmc +1 more source
Abstractions for verification of security properties of cryptographic protocols
Alexandre Boisseau
openalex +1 more source
Cryptographic protocols on real hyperelliptic curves
Michael J. Jacobson+2 more
openalex +2 more sources
Procedures for Building a Secure Environment in IoT Networks Using the LoRa Interface. [PDF]
Łeska S, Furtak J.
europepmc +1 more source
RiceChain-Plus: an enhanced framework for blockchain-based rice supply chain systems-ensuring security, privacy, and efficiency. [PDF]
Yakubu BM+2 more
europepmc +1 more source
Enhancing confidentiality and access control in electronic health record systems using a hybrid hashing blockchain framework. [PDF]
Chakravarthy DG+3 more
europepmc +1 more source