MoL-2021-12: Jaramillo, Mateo C. (2021) Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs. [Report]
![[thumbnail of MoL-2021-12.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2021-12.text.pdf Download (811kB) |
Abstract
This thesis presents an epistemic logic for modeling Zero-Knowledge proofs and other cryptographic protocols. We consider multi-agent interactions where a prover convinces a verifier of some proposition φ, with the verifier learning nothing more than the validity of φ. By enriching existing cryptographic variants of DEL with notions of probability, we introduce a cryptographic probability logic (CPL) that is capable of modeling cryptographic primitives such as encryption and passive adversaries while also capturing the concepts of interactive proofs and simulations. Within our presentation, we analyze multiple protocols including RSA encryption and a zero-knowledge proof for the NP-Complete problem of graph 3-coloring.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2021-12 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2021 |
| Subjects: | Language Logic |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 13 Aug 2021 14:56 |
| Last Modified: | 13 Aug 2021 14:56 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1802 |
Actions (login required)
 |
View Item |
