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/
  2. Radhika BS
    Security & Privacy in Distributed Systems
  3. Amit Goyal
    Formal Modeling of Industrial Systems
  4. Sundaram Gupta
    Software Defined Networks