I am currently a Ph.D. candidate at University of Twente in Formal methods and Tools group under the supervision of Prof. Arend Rensink and Prof. Marielle Stoelinga. With my research work, I contribute to the European Union FP7 project -- Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security (TREsPASS).
Previously, i served as product application engineer at Schneider Electric (Aug 2007- Nov 2008) working on industrial drives and later served as an Assistant Professor at Sir Padampat Sighnania University (April 2011- August 2014) teaching undergraduate and postgraduate students telecommunication engineering.

Academic Background

Research Interests

  • Security of critical infrastructures
  • Formal methods
  • Information assurance
  • Model checking


Our paper, Efficient Analysis of Attack Trees: a Model-Driven Approach, was accepted at FASE 2018!
Our paper, LOCKS: a property specification language for security goals , was accepted at SAC-SVT 2018!.

Last updated Dec. 30 2017