Ph.D. - Computer Engineering

National Institute of Technology (NIT), Surat, Gujarat, India

Thesis Title: “Symmetry Reduction Techniques for Fully and Partially Symmetric Probabilistic Models"

Supervisor: Dr. Dhiren R. Patel

M.Tech. - Computer Engineering

National Institute of Technology (NIT), Surat, Gujarat, India

Dissertation title: “Formal Verification of Security Protocols”

Supervisor: Dr. Dhiren R. Patel

B.E. - Computer Engineering

National Institute of Technology (NIT), Surat, Gujarat, India

Project title: “A GUI Based Network Security Toolkit for Linux Operating System”

Supervisor:Dr. Devesh C. Jinwala