Items where Author is "Jaramillo, Mateo C."

Group by: Item Type | No Grouping
Number of items: 1.

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

This list was generated on Thu Nov 21 00:30:36 2024 CET.