Enhancing UPI Security with Tamarin Prover Verification

Created using ChatSlide

In this curriculum-oriented presentation, we delve into the analysis of the BHIM UPI system using formal verification techniques. The discussion begins with acknowledgments of supervisory contributions and a statement of originality. We proceed with an abstract detailing the examination of key components and findings of the BHIM UPI analysis. The introduction emphasizes UPI's background, the motivation for formal verification, and an overview of related work. A detailed exploration of...