Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Ben Laurie |
Safer Scripting Through Precompilation. |
Security Protocols Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Akshay Krishnamurthy, Adrian Mettler, David A. Wagner 0001 |
Fine-grained privilege separation for web applications. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
object-capabilities, privilege separation, web applications |
21 | Matthew Finifter, Adrian Mettler, Naveen Sastry, David A. Wagner 0001 |
Verifiable functional purity in java. |
CCS |
2008 |
DBLP DOI BibTeX RDF |
object-capabilities, pure functions, static analysis, determinism |
13 | S. Senthil Kumaran, S. P. Balakannan, Jun Li 0036 |
A deep analysis of object capabilities for intelligence considering wireless IoT devices with the DNN approach. |
J. Supercomput. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Michael Berg-Mohnicke, Claas Nendel |
A case for object capabilities as the foundation of a distributed environmental model and simulation infrastructure. |
Environ. Model. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Isaac Oscar Gariano, Marco Servetto, Alex Potanin |
Sound Invariant Checking Using Type Modifiers and Object Capabilities. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | James Noble 0001, Alex Potanin, Toby C. Murray, Mark S. Miller |
Abstract and Concrete Data Types vs Object Capabilities. |
Principled Software Development |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Darya Melicher, Yangqingwei Shi, Valerie Zhao, Alex Potanin, Jonathan Aldrich |
Using object capabilities and effects to build an authority-safe module system: poster. |
HotSoS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Philipp Haller, Alexandre Loiko |
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Philipp Haller, Alexander Loiko |
LaCasa: lightweight affinity and object capabilities in Scala. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Dominique Devriese, Lars Birkedal, Frank Piessens |
Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. |
EuroS&P |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi |
Features and object capabilities: reconciling two visions of modularity. |
AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
Object Capabilities and Isolation of Untrusted Web Applications. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
Operational Semantics, JavaScript, Capabilities, Language-based Security |
13 | David A. Wagner 0001 |
Object capabilities for security. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Martin Scheffler, Jan P. Springer, Bernd Froehlich 0001 |
Object-Capability Security in Virtual Environments. |
VR |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Johan van den Akker, Arno Siebes |
DEGAS: Capturing Dynamics in Objects. |
CAiSE |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|