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