https://vrain.upv.es/design-of-cryptographic-protocols-access-control-and-electronic-voting/
Design of cryptographic protocols: access control and electronic voting - VRAIN
Feb 13, 2026 - Abstract Cryptography offers tools to guarantee confidentiality, authenticity, integrityof information, the impossibility of repudiation of actions or...
cryptographic protocolsaccess controlelectronic votingdesign
https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/4958/Epistemic-Logics-for-Cryptographic-Protocols-and-Zero-Knowledge-Proofs
Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs | Institute for Logic,...
zero knowledge proofscryptographic protocolslogics
https://isa-afp.org/entries/Relational_Method.html
The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols -...
The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols in the Archive of Formal Proofs
relationalmethodmessage