| 2006 |
|---|
| 10 | EE | Marc Stiegler,
Alan H. Karp,
Ka-Ping Yee,
Tyler Close,
Mark S. Miller:
Polaris: virus-safe computing for Windows XP.
Commun. ACM 49(9): 83-88 (2006) |
| 2005 |
|---|
| 9 | EE | Mark S. Miller,
Eric Dean Tribble,
Jonathan S. Shapiro:
Concurrency Among Strangers.
TGC 2005: 195-229 |
| 2004 |
|---|
| 8 | EE | Mark S. Miller,
Bill Tulloh,
Jonathan S. Shapiro:
The Structure of Authority: Why Security Is Not a Separable Concern.
MOZ 2004: 2-20 |
| 2003 |
|---|
| 7 | EE | Mark S. Miller,
Jonathan S. Shapiro:
Paradigm Regained: Abstraction Mechanisms for Access Control.
ASIAN 2003: 224-242 |
| 2000 |
|---|
| 6 | EE | Mark S. Miller,
Chip Morningstar,
Bill Frantz:
Capability-Based Financial Instruments.
Financial Cryptography 2000: 349-378 |
| 1987 |
|---|
| 5 | | Mark S. Miller,
Daniel G. Bobrow,
Eric Dean Tribble,
Jacob Levy:
Logical Secrets.
ICLP 1987: 704-728 |
| 4 | | Eric Dean Tribble,
Mark S. Miller,
Kenneth M. Kahn,
Daniel G. Bobrow,
Curtis Abbott,
Ehud Y. Shapiro:
Channels: A Generalization of Streams.
ICLP 1987: 839-857 |
| 3 | | Daniel G. Bobrow,
David S. Fogelsong,
Mark S. Miller:
Definition Groups: Making Sources into First-Class Objects.
Research Directions in Object-Oriented Programming 1987: 129-146 |
| 2 | | Kenneth M. Kahn,
Eric Dean Tribble,
Mark S. Miller,
Daniel G. Bobrow:
Vulcan: Logical Concurrent Objects.
Research Directions in Object-Oriented Programming 1987: 75-112 |
| 1986 |
|---|
| 1 | | Kenneth M. Kahn,
Eric Dean Tribble,
Mark S. Miller,
Daniel G. Bobrow:
Objects in Concurrent Logic Programming Languages.
OOPSLA 1986: 242-257 |
