Improving software security with a C pointer analysis. - Dzintars Avots; Michael Dalton; V. Benjamin Livshits; Monica S. Lam (ICSE, 2005)

Raksha: a flexible information flow architecture for software security. - Michael Dalton; Hari Kannan; Christos Kozyrakis (ISCA, 2007)

Thread-safe dynamic binary translation using transactional memory. - JaeWoong Chung; Michael Dalton; Hari Kannan; Christos Kozyrakis (HPCA, 2008)

Exploring educational standard alignment: in search of 'relevance'. - René F. Reitsma; Byron Marshall; Michael Dalton; Martha N. Cyr (JCDL, 2008)

Hardware Enforcement of Application Security Policies Using Tagged Memory. - Nickolai Zeldovich; Hari Kannan; Michael Dalton; Christos Kozyrakis (OSDI, 2008)

Real-World Buffer Overflow Protection for Userspace and Kernelspace. - Michael Dalton; Hari Kannan; Christos Kozyrakis (USENIX Security Symposium, 2008)

Decoupling Dynamic Information Flow Tracking with a dedicated coprocessor. - Hari Kannan; Michael Dalton; Christos Kozyrakis (DSN, 2009)

Nemesis: Preventing Authentication & Access Control Vulnerabilities in Web Applications. - Michael Dalton; Christos Kozyrakis; Nickolai Zeldovich (USENIX Security Symposium, 2009)

Tainting is not pointless. - Michael Dalton; Hari Kannan; Christos Kozyrakis (ACM SIGOPS Oper. Syst. Rev., 2010)

The design and implementation of dynamic information flow tracking systems for software security. - Michael Dalton (2010)

Detecting software modularity violations. - Sunny Wong 001; Yuanfang Cai; Miryung Kim; Michael Dalton (ICSE, 2011)

Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture. - Daniel Dominguez Gouvêa; Cyro de A. Assis D. Muniz; Gilson A. Pinto; Alberto Avritzer; Rosa Maria Meri Leão; Edmundo de Souza e Silva; Morganna Carmem Diniz; Vittorio Cortellessa; Luca Berardinelli; Julius C. B. Leite; Daniel Mossé; Yuanfang Cai; et al. (Softw. Syst. Model., 2013)

Andromeda: Performance, Isolation, and Velocity at Scale in Cloud Network Virtualization. - Michael Dalton; David Schultz; Jacob Adriaens; Ahsan Arefin; Anshuman Gupta; Brian Fahs; Dima Rubinstein; Enrique Cauich Zermeno; Erik Rubow; James Alexander Docauer; Jesse Alpert; Jing Ai; et al. (NSDI, 2018)

Snap: a microkernel approach to host networking. - Michael Marty; Marc de Kruijf; Jacob Adriaens; Christopher Alfeld; Sean Bauer; Carlo Contavalli; Michael Dalton; Nandita Dukkipati; William C. Evans; Steve D. Gribble; Nicholas Kidd; Roman Kononov; et al. (SOSP, 2019)