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