Mark S. Miller is open source coordinator for the E programming language, a pioneer of agoric (market-based secure distributed) computing, and an architect of the Xanadu hypertext publishing system.
Delegating Responsibility in Digital Systems: Horton's, Mark S. Miller, Jed Donnelley, Alan H. Karp, 2nd USENIX Workshop on Hot Topics in Security, 2007, pp. 5.
Tradeoffs in Retrofitting Security: An Experience Report, Mark S. Miller, Dynamic Languages Symposium, 2007.
Institutions as Abstraction Boundaries, Bill Tulloh, Mark S. Miller, Humane Economics: Essays in Honor of Don Lavoie, 2006, pp. 136-188.
Polaris: virus-safe computing for Windows XP, Marc Stiegler, Alan H. Karp, Ka-Ping Yee, Tyler Close, Mark S. Miller, Commun. ACM, vol. 49 (2006), pp. 83-88.
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, Mark S. Miller, 2006, pp. 229.
Concurrency Among Strangers: Programming in E as Plan Coordination, Mark S. Miller, E. Dean Tribble, Jonathan S. Shapiro, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers, pp. 195-229.
The Structure of Authority: Why Security Is Not a Separable Concern, Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro, Multiparadigm Programming in Mozart/Oz: Extended Proc. Second International Conference MOZ 2004, pp. 2-20.
Towards a Verified, General-Purpose Operating System Kernel, Jonathan S. Shapiro, M. Scott Doerrie, Eric Northup, Swaroop Sridhar, Mark S. Miller, Proc. NICTA Invitational Workshop on Operating System Verification, 2004, pp. 1-19.
Capability Myths Demolished, Mark S. Miller, Ka-Ping Yee, Jonathan S. Shapiro, 2003.
Paradigm Regained: Abstraction Mechanisms for Access Control, Mark S. Miller, Jonathan S. Shapiro, Proc. Eigth Asian Computing Science Conference, 2003, pp. 224-242.
The Digital Path: Smart Contracts and the Third World, Mark S. Miller, Marc Stiegler, Austrian Perspectives on the Internet Economy, 2003, pp. 63-88.
A Capability Based Client: The DarpaBrowser, Marc Stiegler, Mark S. Miller, 2002.
Capability-based Financial Instruments, Mark S. Miller, Chip Morningstar, Bill Frantz, Proc. Financial Cryptography 2000, pp. 349-378.
An Automatic Auction in ATM Network Bandwidth, Mark S. Miller, David Krieger, Norman Hardy, Chris Hibbert, E. Dean Tribble, Market-based Control, A Paradigm for Distributed Resource Allocation, 1996.
Joule: Distributed Application Foundations, E. Dean Tribble, Mark S. Miller, Norm Hardy, David Krieger, 1995.
The Open Society and its Media, Mark S. Miller, E. Dean Tribble, Ravi Pandya, Marc Stiegler, Prospects in Nanotechnology. Proceedings of the 1992 First General Conference on Nanotechnology: Development, Applications, and Opportunities., 1995.
Betting, Bribery, and Bankruptcy--A Simulated Economy that Learns to Predict, Ted Kaehler, Hadon Nash, Mark S. Miller, IEEE CompCon Proceedings, 1989, pp. 357-361.
Comparative Ecology: A Computational Perspective, Mark S. Miller, K. Eric Drexler, The Ecology of Computation, 1988, pp. 51-76.
Incentive Engineering for Computational Resource Management, K. Eric Drexler, Mark S. Miller, The Ecology of Computation, 1988, pp. 231-266.
Language Design and Open Systems, Kenneth M. Kahn, Mark S. Miller, Ecology of Computation, 1988.
Markets and Computation: Agoric Open Systems, Mark S. Miller, K. Eric Drexler, The Ecology of Computation, 1988, pp. 133-176.
Channels: A Generalization of Streams, E. Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Y. Shapiro, International Conference on Logic Programming, 1987, pp. 839-857.
Definition Groups: Making Sources into First-Class Objects, David S. Fogelsong, Daniel G. Bobrow, Mark S. Miller, Research Directions in Object-Oriented Programming, 1987, pp. 129-146.
Logical Secrets, Mark S. Miller, Daniel G. Bobrow, E. Dean Tribble, Jacob Levy, International Conference on Logic Programming, 1987, pp. 704-728.
Vulcan: Logical Concurrent Objects, Kenneth M. Kahn, E. Dean Tribble, Mark S. Miller, Daniel G. Bobrow, Research Directions in Object-Oriented Programming, 1987, pp. 75-112.
Objects in Concurrent Logic Programming Languages, Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow, OOPSLA, 1986, pp. 242-257.