fbpx

Research Scholars

  1. 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.
    sandipsmit@gmail.com
    https://www.cse.iitb.ac.in/~sandipg/

 

  1. 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.

 

  1. Amit Goyal
    Formal Modeling of Industrial Systems

 

  1. Sundaram Gupta

    Software Defined Networks