Search results for "object-capabilities"

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