Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mark S. Miller
2010 – today
- 2013
[c12]Tom Van Cutsem, Mark S. Miller: Trustworthy Proxies - Virtualizing Objects with Invariants. ECOOP 2013: 154-178- [c11]Mark S. Miller, Tom Van Cutsem, Bill Tulloh: Distributed Electronic Rights in JavaScript. ESOP 2013: 1-20
- 2011
- [c10]Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra: Automated Analysis of Security-Critical JavaScript APIs. IEEE Symposium on Security and Privacy 2011: 363-378
- 2010
- [c9]Tom Van Cutsem, Mark S. Miller: Proxies: design principles for robust object-oriented intercession APIs. DLS 2010: 59-72
- [c8]Leo A. Meyerovich, Adrienne Porter Felt, Mark S. Miller: Object views: fine-grained sharing in browsers. WWW 2010: 721-730
- [e1]Tom Van Cutsem, Mark S. Miller (Eds.): Proceedings First International Workshop on Decentralized Coordination of Distributed Processes. EPTCS 27, 2010
2000 – 2009
- 2006
- [j1]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
- [c7]Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro: Concurrency Among Strangers. TGC 2005: 195-229
- 2004
- [c6]Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro: The Structure of Authority: Why Security Is Not a Separable Concern. MOZ 2004: 2-20
- 2003
- [c5]Mark S. Miller, Jonathan S. Shapiro: Paradigm Regained: Abstraction Mechanisms for Access Control. ASIAN 2003: 224-242
- 2000
- [c4]Mark S. Miller, Chip Morningstar, Bill Frantz: Capability-Based Financial Instruments. Financial Cryptography 2000: 349-378
1980 – 1989
- 1987
- [c3]Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy: Logical Secrets. ICLP 1987: 704-728
- [c2]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
- [p2]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
- [p1]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
- 1986
- [c1]Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow: Objects in Concurrent Logic Programming Languages. OOPSLA 1986: 242-257
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:59 CEST by the dblp team