Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
IEEE Computer Security Foundations Symposium, 2009 K. Bhargavan +4 more
semanticscholar +1 more source
A Formal Language for Cryptographic Protocol Requirements
, 1995 In this paper we present a formal language for specifying and reasoning about cryptographic protocol requirements. We give sets of requirements for key distribution protocols and for key agreement protocols in that language.
Paul Syverson, Catherine Meadows
core
Introduction to secret sharing based secure multiparty computation in health data. [PDF]
BMJ OpenKerr S, Escudero D.
europepmc +1 more source
Cryptographic Protocol Composition via the Authentication Tests
IACR Cryptology ePrint Archive, 2009 J. Guttman
semanticscholar +1 more source
Verifying cryptographic protocol implementations that use industrial cryptographic APIs
, 2017 In this technical report we describe an approach for verifying cryptographic protocol implementations written in C. We statically prove the correctness of these implementations with the general purpose veri^Ler VeriFast.
Vanspauwen, Gijs, Jacobs, Bart
core
A privacy-preserving cloud storage framework with hybrid encryption, homomorphic keyword search, and blockchain-based integrity verification. [PDF]
Sci RepAhmed HMA, Zubair S, Tawfik M.
europepmc +1 more source
A Formal Language for Cryptographic Protocol Requirements
Des. Codes Cryptogr., 1996 P. Syverson, C. Meadows
semanticscholar +2 more sources
A Lightweight Certificateless Identity Authentication Protocol Using SM2 Algorithm and Self-Secured PUF for IoT. [PDF]
Sensors (Basel)Zhang M, Zhao Q, Li C, Fang W, Tong Z.
europepmc +1 more source
Blockchain and federated Q-learning-based secure, fault tolerant, and energy efficient framework for ad hoc networks. [PDF]
PLoS OneTandon R, Gupta PK, Cheng X.
europepmc +1 more source
KATENA: a verifiable governance architecture for encrypted cloud storage systems. [PDF]
Front Big DataRodríguez-Aragón JF +3 more
europepmc +1 more source