Formal verification of the Extensible Authentication Protocol using SPIN. - Manu S. Hegde; H. K. Jnanamurthy; Sanjay Singh 002 (CCSEIT, 2012)

Alert-BDI: BDI model with adaptive alertness through situational awareness. - Manu S. Hegde; Sanjay Singh 002 (ICACCI, 2013)

Safe buzz: adaptive security for multi-agents through situational awareness. - Manu S. Hegde; Sanjay Singh 002 (Int. J. Auton. Adapt. Commun. Syst., 2017)