MoL-2021-12: Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs

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

[thumbnail of MoL-2021-12.text.pdf] 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 View Item