K. R. Raghavendra

According to our database, K. R. Raghavendra authored at least 6 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Inference of Security-Sensitive Entities in Libraries.

Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

2013

Primal Infon Logic: Derivability in Polynomial Time.

Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems.

Deepak D'Souza, K. R. Raghavendra

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

Model-checking trace-based information flow properties.

Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick

J. Comput. Secur., 2011

SEAL: a logic programming framework for specifying and verifying access control models.

Prasad Naldurg, K. R. Raghavendra

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

2005

An Automata Based Approach for Verifying Information Flow Properties.

Deepak D'Souza, K. R. Raghavendra, Barbara Sprick

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005