MoL-2021-12: Jaramillo, Mateo C. (2021) Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs. [Report]