About Me
I’m a a part-time research scholar in Department of Computer Science & Engineering, IIT Delhi under Dr.Sanjiva Prasad and Dr.Subodh Sharma and am a full-time Tools and Methodologies engineer at NXP semiconductors (formerly Freescale Inc). I completed my Masters in Control Systems as a part of Dual degree integrated programme from IIT Kharagpur (2009-14). I am born and brought up in Guntur, Andhra Pradesh.
My areas of interest include formal verification, cyber-physical systems, security and synchronous dataflow languages.
Projects
These are the projects I am currently working on here in IITD.
Synchronous reactive data flow is a paradigm that provides a high-level abstract programming model for embedded and cyber-physical systems, including the locally synchronous components of IoT systems. Security in such systems is severely compromised due to low-level programming, ill-defined interfaces and inattention to security classification of data. By incorporating a Denning-style lattice-based secure information flow framework into a synchronous reactive data flow language, we provide a framework in which correct-and-secure-by-construction implementations for such systems can be specified and derived. In particular, we extend the Lustre programming framework with a security type system. The work is currently being formalized in Coq over Vèlus development.