ERights Home
Back to: Related Links 1st child: Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control On to: Downloading E

Papers and Talks


Papers and Talks

Robust Composition:
Towards a Unified Approach to Access Control and Concurrency Control
Mark S. Miller MarkM's dissertation. Explains the rationale, philosophy, and goals of E and related systems. Supersedes Paradigm Regained, Concurrency Among Strangers, and The Structure of Authority.
Authorization-Based Access Control for the Services Oriented Architecture Alan Karp  
Capability-based Financial Instruments Mark S. Miller, Chip Morningstar, Bill Frantz Also known as "An Ode to the Granovetter Diagram"
Credit transfer within market-based resource allocation infrastructure Tyler Close  
Polaris:
Virus Safe Computing for Windows XP
Marc Stiegler, Alan Karp, Ka-Ping Yee, Mark S. Miller  

User Interaction Design for Secure Systems

Ka-Ping Yee  
Capability Myths Demolished Mark S. Miller, Ka-Ping Yee, Jonathan Shapiro A brief history of how capabilities have been misunderstood, and sets the record straight.
A Security Analysis of the Combex DarpaBrowser Architecure David Wagner, E. Dean Tribble  
A Capability Based Client:
The DarpaBrowser
Marc Stiegler, Mark S. Miller  
Institutions as Abstraction Boundaries:
Negotiated Categories and the Self-Reorganization of the Market Order
Bill Tulloh, Mark S. Miller  
The Digital Path:
Smart Contracts and the Third World
Mark S. Miller, Marc Stiegler  
72 Hours to DonutLab
A PlanetLab with No Center
Marc Stiegler, Mark S. Miller, Terry Stanley  
Auditors:
An Extensible, Dynamic Code Verification Mechanism
Ka-Ping Yee, Mark S. Miller  
The Agoric Papers Mark S. Miller, K. Eric Drexler  
Paradigm Regained:
Abstraction Mechanisms for Access Control
Mark S. Miller, Jonathan Shapiro Superseded by Robust Composition.
The Structure of Authority:
Why security is not a separable concern
Mark S. Miller, Bill Tulloh, Jonathan Shapiro Superseded by Robust Composition.
Concurrency Among Strangers:
Programming in E as Plan Coordination
Mark S. Miller, E. Dean Tribble, Jonathan Shapiro Superseded by Robust Composition.

Talks

The Virus Safe Computing Initiative at HP Labs Alan Karp

Google ABAC Techtalk #1
Powerpoint

Paradigm Regained:
Abstraction Mechanisms for Access Control
Mark S. Miller Google ABAC Techtalk #2
Paper Powerpoint PDF
Core Patterns for Web Permissions Tyler Close Google ABAC Techtalk #3
Powerpoint
From Desktops to Donuts:
An ABAC EcoSystem
Marc Stiegler Google ABAC Techtalk #4
Powerpoint

E Fundamentals:
A class given by Marc Stiegler at HP
Marc Stiegler  
Computer Security as the Future of Law Mark S. Miller  
Smart Contracts:
Six steps to trans-jurisdictional electronic commerce
Mark S. Miller  
Building a Virus-Safe Computing Platform
Don't Add Security, Remove Insecurity
Mark S. Miller  
Immunity from Viruses: Safety from Geeks Bearing Gifts Mark S. Miller  
The SkyNet Virus:
Why it is Unstoppable; How to Stop it
Marc Stiegler  
A presentation on CapTP for the OMG Mark S. Miller, Marc Stiegler  
Uni-Tea:
Towards a unified, parameterizable model of distributed "object"
Mark S. Miller  
Escape from Multithreaded Hell Stefan Reich  

 
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
ERights Home
Back to: Related Links 1st child: Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control On to: Downloading E
Download    FAQ    API    Mail Archive    Donate

report bug (including invalid html)

Golden Key Campaign Blue Ribbon Campaign