Ph.D Submitted

S. No. Name Title Supervisors
1. Sriramulu Bojjagani Formal Methods for Secure Mobile Payment Protocols Dr. V. N. Sastry