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.


These are the projects I am currently working on here in IITD.

Secure Composition in Synchronous Dataflow systems

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.


Normalising Lustre Preserves Security
Sanjiva Prasad, R. Madhukar Yerraguntla
International Colloquium on Theoretical Aspects of Computing (ICTAC) 2021
Security Types for Synchronous Data Flow Systems
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) 2020

Courses Undertaken

COL765 - Introduction to Logic and Functional Programming
COL750 - Foundations of Automatic Verification
COL871 - Spl. Topics in Programming Languages and Compilers
COL728 - Compiler Design