An Automata Based Approach for Verifying Information Flow Properties. - Deepak D'Souza; K. R. Raghavendra; Barbara Sprick (ARSPA@ICALP, 2005)

SEAL: a logic programming framework for specifying and verifying access control models. - Prasad Naldurg; K. R. Raghavendra (SACMAT, 2011)

Model-checking trace-based information flow properties. - Deepak D'Souza; Raveendra Holla; K. R. Raghavendra; Barbara Sprick (J. Comput. Secur., 2011)

Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. - Deepak D'Souza; K. R. Raghavendra (ESORICS, 2012)

Primal Infon Logic: Derivability in Polynomial Time. - Anguraj Baskar; Prasad Naldurg; K. R. Raghavendra; S. P. Suresh (FSTTCS, 2013)

Inference of Security-Sensitive Entities in Libraries. - Yi Lu 003; Sora Bae; Padmanabhan Krishnan; K. R. Raghavendra (IEEE Symposium on Security and Privacy Workshops, 2017)