Raghavendra K. R.
Raghavendra K. R.
Postdoctoral researcher, Oracle Labs, Brisbane
Verified email at csa.iisc.ernet.in
Title
Cited by
Cited by
Year
An automata based approach for verifying information flow properties
D D'Souza, KR Raghavendra, B Sprick
Electronic Notes in Theoretical Computer Science 135 (1), 39-58, 2005
192005
SEAL: a logic programming framework for specifying and verifying access control models
P Naldurg, R KR
Proceedings of the 16th ACM symposium on Access control models and …, 2011
162011
Model-checking trace-based information flow properties
D D'Souza, R Holla, KR Raghavendra, B Sprick
Journal of Computer Security 19 (1), 101-138, 2011
152011
On the decidability of model-checking information flow properties
D D’Souza, R Holla, J Kulkarni, R Ramesh, B Sprick
International Conference on Information Systems and Security (ICISS) 5352, 26-40, 2008
112008
Modeling and analysis of a fuel-injection pump used in diesel engines
P Sundarraman, SK Saha, NJ Vasa, R Baskaran, V Sunilkumar, ...
International Journal of Automotive Technology 13 (2), 193-203, 2012
82012
Static program analysis method for detecting security bugs in programs that rely on code access control
Y Lu, RK Ramesh
US Patent 10,108,802, 2018
42018
Primal Infon Logic: Derivability in Polynomial Time.
A Baskar, P Naldurg, KR Raghavendra, SP Suresh
IARCS Annual Conference on Foundations of Software Technology and …, 2013
42013
Multibody dynamics modeling and experimental validation of fuel-injection pump
P Sundarraman, R Baskaran, V Sunilkumar, K Raghavendra, KS Saha, ...
ICORD 11: Proceedings of the 3rd International Conference on Research into …, 2011
32011
Checking unwinding conditions for finite state systems
D D’Souza, KR Raghavendra
Proceedings of the VERIFY 2006 workshop, 85-94, 2006
32006
Inference of security-sensitive entities in libraries
Y Lu, S Bae, P Krishnan, KR Raghavendra
2017 IEEE Security and Privacy Workshops (SPW), 102-109, 2017
12017
Model-checking bisimulation-based information flow properties for infinite state systems
D D’Souza, KR Raghavendra
European Symposium of Research in Computer Security 7459, 591-608, 2012
12012
Model-Checking Infinite-State Systems For Information Flow Security Properties
KR Raghavendra
2017
Model-checking trace-based information flow properties for infinite-state systems
D D’Souza, KR Raghavendra
Journal of Computer Security 24 (5), 617-643, 2016
2016
Model-checking bisimulation-based information flow properties for infinite-state systems
KR Raghavendra
The system can't perform the operation now. Try again later.
Articles 1–14