Security Evaluation of a Quantum Zero Knowledge Proof Protocol Using 3-state 1-decoy

In this thesis, the security of a quantum zero-knowledge protocol is investigated. The goal is to assess whether the proposed protocol remains secure when implemented using Weak Coherent Pulses (WCP), through three complementary evaluations: symbolic, analytical, and experimental. In the symbolic evaluation, the protocol is formally verified and falsified using Tamarin Prover, the state-of-the-art tool for symbolic verification. The analytical evaluation analyzes the protocol to establish security bounds based on information-theoretic metrics. Finally, experimental evaluation is performed using the 3-state 1-decoy QKD box by QuantumFuture, evaluating its performances under realistic conditions.