Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

P. Madhusudan

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Gennaro Parlato

> Home > Persons > P. Madhusudan

Publications

2014
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/UzunAVSFPM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/UzunAVSFPM14
Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan:
Security analysis for temporal role based access control. J. Comput. Secur. 22(6): 961-996 (2014)
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FerraraMNP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FerraraMNP14
Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato:
Vac - Verifier of Administrative Role-Based Access Control Policies. CAV 2014: 184-191
2013
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/0001MP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/0001MP13
Pranav Garg, P. Madhusudan, Gennaro Parlato:
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. SAS 2013: 172-193
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FerraraMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FerraraMP13
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato:
Policy Analysis for Self-administrated Role-Based Access Control. TACAS 2013: 432-447
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-0660
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-0660
Pranav Garg, P. Madhusudan, Gennaro Parlato:
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. CoRR abs/1304.0660 (2013)
2012
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FerraraMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FerraraMP12
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato:
Security Analysis of Role-Based Access Control through Program Verification. CSF 2012: 113-125
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/UzunASVPFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/UzunASVPFM12
Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan:
Analyzing temporal role based access control models. SACMAT 2012: 177-186
[c55]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-4271
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-4271
Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
Sequentializing Parameterized Programs. FIT 2012: 34-47
2011
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MadhusudanP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MadhusudanP11
P. Madhusudan, Gennaro Parlato:
The tree width of auxiliary storage. POPL 2011: 283-294
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MadhusudanPQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MadhusudanPQ11
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu:
Decidable logics combining heap structures and data. POPL 2011: 611-622
2010
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/TorreMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/TorreMP10
Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV 2010: 629-644
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/TorreMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/TorreMP10
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato:
The Language Theory of Bounded Context-Switching. LATIN 2010: 96-107
2009
[c43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/TorreMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/TorreMP09
Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV 2009: 477-492
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TorreMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TorreMP09
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato:
Analyzing recursive programs using a fixed-point calculus. PLDI 2009: 211-222
2008
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/TorreMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/TorreMP08
Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
An Infinite Automaton Characterization of Double Exponential Time. CSL 2008: 33-48
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TorreMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TorreMP08
Salvatore La Torre, P. Madhusudan, Gennaro Parlato:
Context-Bounded Analysis of Concurrent Queue Systems. TACAS 2008: 299-314
2007
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/TorreMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/TorreMP07
Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato:
A Robust Class of Context-Sensitive Languages. LICS 2007: 161-170

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.