K. R. Raghavendra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SP | Inference of Security-Sensitive Entities in Libraries. | Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra |
| 2012 | ESORICS | Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. | Deepak D'Souza, K. R. Raghavendra |
| 2011 | SACMAT | SEAL: a logic programming framework for specifying and verifying access control models. | Prasad Naldurg, K. R. Raghavendra |