K. R. Raghavendra

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Information Flows

Artifact Centric

Inference Control

Top Venues

IEEE Symposium on Security and Privacy Workshops

Publications

Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra
Inference of Security-Sensitive Entities in Libraries. IEEE Symposium on Security and Privacy Workshops (2017)
Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh
Primal Infon Logic: Derivability in Polynomial Time. FSTTCS (2013)
Deepak D'Souza, K. R. Raghavendra
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. ESORICS (2012)
Prasad Naldurg, K. R. Raghavendra
SEAL: a logic programming framework for specifying and verifying access control models. SACMAT (2011)
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick
Model-checking trace-based information flow properties. J. Comput. Secur. 19 (1) (2011)
Deepak D'Souza, K. R. Raghavendra, Barbara Sprick
An Automata Based Approach for Verifying Information Flow Properties. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)