|
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 | |
| 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 |
| 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.
