- Sandip Ghosal
Research areas: Language-based Security, information-flow control
Sandip’s research is on specifying and enforcing security policies relative to a given threat model, in programming languages and systems to assure multi-level security compliance by controlling information flow among mutually untrusted agents.
- Radhika B S
Research areas: Operating System Security, Access Control, Information Flow Control, SELinux
Radhika’s research focuses on assuring security and privacy using information flow control. This involves specification flow-secure policies, analysis and verification of the policies to ensure that they meet the intended security goals and efficient implementation of the policies.
- Amit Goyal
Formal Modeling of Industrial Systems
- Sundaram Gupta
Software Defined Networks