Manu S Hegde

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (2)

• Modelling and Verification of Extensible Authentication Protocol Using Spin Model Checker
  Manu S. Hegde
  2012 DOI: 10.5121/ijnsa.2012.4606
  +Save
• Formal verification of the Extensible Authentication Protocol using SPIN
  Manu S. Hegde, H K Jnanamurthy, Sanjay Singh
  DOI: 10.1145/2393216.2393278
  +Save