https://research.ibm.com/publications/verifiable-verification-in-cryptographic-protocols
Verifiable Verification in Cryptographic Protocols for CCS 2023 - IBM Research
Verifiable Verification in Cryptographic Protocols for CCS 2023 by Marc Fischlin et al.
cryptographic protocolsibm researchverifiableverificationccs
https://rosenpass.eu/docs/rosenpass-project/presentations/hackmas-2024/
Building Post-Quantum Cryptographic Protocols | Rosenpass
How to build post-quantum cryptographic protocols and why wall clocks are not to be trusted.
post quantumcryptographic protocolsbuilding
https://vrain.upv.es/design-of-cryptographic-protocols-access-control-and-electronic-voting/
Design of cryptographic protocols: access control and electronic voting - VRAIN
May 25, 2026 - Abstract Cryptography offers tools to guarantee confidentiality, authenticity, integrityof information, the impossibility of repudiation of actions or...
cryptographic protocolsaccess controlelectronic votingdesign
https://www.iaras.org/caijmcm/cryptographic-protocols-on-the-non-commutative-ring-r
Cryptographic Protocols on the non-commutative Ring R - IARAS
In this paper we introduce one of the most famous problems in a non commutative ring R. In particular we are interested in cryptography is mainly encryption...
cryptographic protocolson thecommutative ringnoniaras
https://moodle.informatik.tu-darmstadt.de/course/info.php?id=836
Course information | Cryptographic Protocols 2020 | Lernportal Informatik
course informationcryptographic protocolslernportalinformatik
https://datatracker.ietf.org/doc/draft-hoffman-schneier-4270bis/
draft-hoffman-schneier-4270bis-02 - Attacks on Cryptographic Hashes in Internet Protocols
Announcements in the past decade of better-than-expected collision attacks in popular hash algorithms have caused some people to question whether common...
cryptographic hashesinternet protocolsdrafthoffmanschneier