Mark S. Miller
Title
Cited by
Cited by
Year
Diverse goods arbitration system and method for allocating resources in a distributed computer system
MS Miller, ED Tribble, N Hardy, CT Hibbert
US Patent 5,640,569, 1997
6211997
Robust Composition: Towards a Uni ed Approach to Access Control and Concurrency Control
M Miller
Johns Hopkins University, 2006
3812006
Markets and computation: Agoric open systems
MS Miller, KE Drexler
The ecology of computation 1, 1988
3171988
Persistent distributed capabilities
MS Miller, N Hardy, ED Tribble, CT Hibbert, EC Hill
US Patent 6,049,838, 2000
2212000
Concurrency among strangers
MS Miller, ED Tribble, J Shapiro
International Symposium on Trustworthy Global Computing, 195-229, 2005
1952005
Caja: Safe active content in sanitized JavaScript
MS Miller, M Samuel, B Laurie, I Awad, M Stay
Tech. Rep., Google, Inc, 2008
174*2008
Capability myths demolished
MS Miller, KP Yee, J Shapiro
Technical Report SRL2003-02, Johns Hopkins University Systems Research …, 2003
1622003
Incentive engineering for computational resource management
KE Drexler, MS Miller
The ecology of Computation 2, 231-266, 1988
1591988
Automated analysis of security-critical javascript apis
A Taly, Ú Erlingsson, JC Mitchell, MS Miller, J Nagra
2011 IEEE Symposium on Security and Privacy, 363-378, 2011
1392011
Distributed garbage collection system and method
ED Tribble, MS Miller, N Hardy, JY Levy, EC Hill, CT Hibbert
US Patent 5,960,087, 1999
1201999
The digital path
MS Miller, M Stiegler
Markets, Information and Communication: Austrian Perspectives on the …, 2003
119*2003
Proxies: design principles for robust object-oriented intercession APIs
T Van Cutsem, MS Miller
ACM Sigplan Notices 45 (12), 59-72, 2010
1032010
Intuitive file sharing with transparent security
MD Stiegler, AH Karp, MS Miller, TJ Close
US Patent App. 12/364,806, 2010
1012010
Vulcan: Logical concurrent objects
K Kahn, ED Tribble, M Miller, DG Bobrow
Research Directions in Object-Oriented Programming, 75-112, 1987
971987
Polaris: virus-safe computing for Windows XP
M Stiegler, AH Karp, KP Yee, T Close, MS Miller
Communications of the ACM 49 (9), 83-88, 2006
882006
Paradigm regained: Abstraction mechanisms for access control
MS Miller, JS Shapiro
Annual Asian Computing Science Conference, 224-242, 2003
872003
Capability-based financial instruments
MS Miller, C Morningstar, B Frantz
International Conference on Financial Cryptography, 349-378, 2000
852000
Objects in concurrent logic programming languages
K Kahn, ED Tribble, MS Miller, DG Bobrow
Conference proceedings on Object-oriented programming systems, languages and …, 1986
791986
Comparative ecology: A computational perspective
MS Miller, KE Drexler
The Ecology of Computation. North-Holland, 1988
701988
Towards a verified, general-purpose operating system kernel
J Shapiro, MS Doerrie, E Northup, S Sridhar, M Miller
Klein [10], 1-19, 2004
602004
The system can't perform the operation now. Try again later.
Articles 1–20