Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

K. R. Raghavendra

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/DSouzaHRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/DSouzaHRS11
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick:
Model-checking trace-based information flow properties. J. Comput. Secur. 19(1): 101-138 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/LuBKR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/LuBKR17
Yi Lu, Sora Bae, Padmanabhan Krishnan, K. R. Raghavendra:
Inference of Security-Sensitive Entities in Libraries. IEEE Symposium on Security and Privacy Workshops 2017: 102-109
2013
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BaskarNRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BaskarNRS13
Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh:
Primal Infon Logic: Derivability in Polynomial Time. FSTTCS 2013: 163-174
2012
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/DSouzaR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/DSouzaR12
Deepak D'Souza, K. R. Raghavendra:
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. ESORICS 2012: 591-608
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/NaldurgR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/NaldurgR11
Prasad Naldurg, K. R. Raghavendra:
SEAL: a logic programming framework for specifying and verifying access control models. SACMAT 2011: 83-92
2005
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DSouzaRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DSouzaRS05
Deepak D'Souza, K. R. Raghavendra, Barbara Sprick:
An Automata Based Approach for Verifying Information Flow Properties. ARSPA@ICALP 2005: 39-58

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.