Objects in concurrent logic programming languages. - Kenneth M. Kahn; Eric Dean Tribble; Mark S. Miller; Daniel G. Bobrow (OOPWORK, 1986)

Definition Groups: Making Sources into First-Class Objects. - Daniel G. Bobrow; David S. Fogelsong; Mark S. Miller (Research Directions in Object-Oriented Programming, 1987)

Vulcan: Logical Concurrent Objects. - Kenneth M. Kahn; Eric Dean Tribble; Mark S. Miller; Daniel G. Bobrow (Research Directions in Object-Oriented Programming, 1987)

Logical Secrets. - Mark S. Miller; Daniel G. Bobrow; Eric Dean Tribble; Jacob Levy (ICLP, 1987)

Channels: A Generalization of Streams. - Eric Dean Tribble; Mark S. Miller; Kenneth M. Kahn; Daniel G. Bobrow; Curtis Abbott; Ehud Shapiro (ICLP, 1987)

Betting, bribery, and bankruptcy - A simulated economy that learns to predict. - Ted Kaehler; Hadon Nash; Mark S. Miller (COMPCON, 1989)

Capability-Based Financial Instruments. - Mark S. Miller; Chip Morningstar; Bill Frantz (Financial Cryptography, 2000)

Paradigm Regained: Abstraction Mechanisms for Access Control. - Mark S. Miller; Jonathan S. Shapiro (ASIAN, 2003)

The Structure of Authority: Why Security Is Not a Separable Concern. - Mark S. Miller; Bill Tulloh; Jonathan S. Shapiro (MOZ, 2004)

Concurrency Among Strangers. - Mark S. Miller; Eric Dean Tribble; Jonathan S. Shapiro (TGC, 2005)

Polaris: virus-safe computing for Windows XP. - Marc Stiegler; Alan H. Karp; Ka-Ping Yee; Tyler Close; Mark S. Miller (Commun. ACM, 2006)

Tradeoffs in retrofitting security: an experience report. - Mark Samuel Miller (DLS, 2007)

Delegating Responsibility in Digital Systems: Horton's "Who Done It?". - Mark S. Miller; James E. Donnelley; Alan H. Karp (HotSec, 2007)

Proxies: design principles for robust object-oriented intercession APIs. - Tom Van Cutsem; Mark S. Miller (DLS, 2010)

Object views: fine-grained sharing in browsers. - Leo A. Meyerovich; Adrienne Porter Felt; Mark S. Miller (WWW, 2010)

Automated Analysis of Security-Critical JavaScript APIs. - Ankur Taly; Úlfar Erlingsson; John C. Mitchell; Mark S. Miller; Jasvir Nagra (IEEE Symposium on Security and Privacy, 2011)

Trustworthy Proxies - Virtualizing Objects with Invariants. - Tom Van Cutsem; Mark S. Miller (ECOOP, 2013)

Distributed Electronic Rights in JavaScript. - Mark S. Miller; Tom Van Cutsem; Bill Tulloh (ESOP, 2013)

Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. - Sophia Drossopoulou; James Noble 001; Mark S. Miller (PLAS@ECOOP, 2015)

Yedalog: Exploring Knowledge at Scale. - Brian Chin; Daniel von Dincklage; Vuk Ercegovac; Peter Hawkins; Mark S. Miller; Franz Josef Och; Christopher Olston; Fernando Pereira (SNAPL, 2015)

Robust trait composition for Javascript. - Tom Van Cutsem; Mark S. Miller (Sci. Comput. Program., 2015)

Permission and Authority Revisited towards a formalisation. - Sophia Drossopoulou; James Noble 001; Mark S. Miller; Toby C. Murray (FTfJP@ECOOP, 2016)

The Elements of Decision Alignment. - Mark S. Miller; Bill Tulloh (ECOOP, 2016)

The left hand of equals. - James Noble 001; Andrew P. Black; Kim B. Bruce; Michael Homer; Mark S. Miller (Onward!, 2016)

Uncanny Valleys in Declarative Language Design. - Mark S. Miller; Daniel von Dincklage; Vuk Ercegovac; Brian Chin (SNAPL, 2017)

Abstract and Concrete Data Types vs Object Capabilities. - James Noble 001; Alex Potanin; Toby C. Murray; Mark S. Miller (Principled Software Development, 2018)