PUBLIC VIVA-VOCE NOTIFICATION
Decidability Results For Extended Dolev-Yao Theories
Chennai Mathematical Institute.
In this thesis, we extend the Dolev-Yao model to analyze protocols which use cryptographic primitives like zero knowledge proofs, blind signatures, and bit commitment schemes, among others, while retaining the spirit of the original model. The main contribution of the thesis is proving decidability results about these extensions.