|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 20 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew Goto, Radha Jagadeesan, Corin Pitcher, James Riely |
Types for relaxed memory models.  |
TLDI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely |
Local Memory via Layout Randomization. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
memory layout randomization, deterministic allocation, probability, control, full abstraction, higher-order |
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Generative Operational Semantics for Relaxed Memory Models. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open Bisimulation for Aspects. |
T. Aspect-Oriented Software Development |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Towards a Theory of Accountability and Audit. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Lambda-RBAC: Programming with Role-Based Access Control. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
Lambda-RBAC: Programming with Role-Based Access Control |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open bisimulation for aspects. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence |
| 1 | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
Do As I SaY! Programmatic Access Control with Explicit Identities. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Zhang 0007, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher |
Specifications of a high-level conflict-free firewall policy language for multi-domain networks. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
firewall, policy language, conflicts free |
| 1 | Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely |
lambda-RBAC: Programming with Role-Based Access Control. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher |
Games for Controls. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corin Pitcher, James Riely |
Dynamic Policy Discovery with Remote Attestation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
code-identity based access control, policy establishment, Next Generation Secure Computing Base, ?-calculus, key establishment, remote attestation |
| 1 | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat |
Timed constraint programming: a declarative approach to usage control. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
constraints, role-based access control, trust management, reactive systems, usage control |
| 1 | Søren B. Lassen, Corin Pitcher |
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")