Simulation and Analysis of Cryptographic Protocols. - Mauricio Papa; Oliver Bremer; Stephen Magill; John Hale; Sujeet Shenoi (DBSec, 2000)

Implementation and Verification of Programmable Security. - Stephen Magill; Bradley Skaggs; Mauricio Papa; John Hale (DBSec, 2002)

The Inverse Method for the Logic of Bunched Implications. - Kevin Donnelly; Tyler Gibson; Neel Krishnaswami; Stephen Magill; Sungwoo Park (LPAR, 2004)

Arithmetic Strengthening for Shape Analysis. - Stephen Magill; Josh Berdine; Edmund M. Clarke; Byron Cook (SAS, 2007)

THOR: A Tool for Reasoning about Shape and Arithmetic. - Stephen Magill; Ming-Hsien Tsai 001; Peter Lee 001; Yih-Kuen Tsay (CAV, 2008)

Finding heap-bounds for hardware synthesis. - Byron Cook; Ashutosh Gupta 001; Stephen Magill; Andrey Rybalchenko; Jirí Simsa; Satnam Singh; Viktor Vafeiadis (FMCAD, 2009)

Automatic numeric abstractions for heap-manipulating programs. - Stephen Magill; Ming-Hsien Tsai 001; Peter Lee 001; Yih-Kuen Tsay (POPL, 2010)

Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs. - Stephen Magill (2010)

Dynamic Enforcement of Knowledge-Based Security Policies. - Piotr Mardziel; Stephen Magill; Michael Hicks 001; Mudhakar Srivatsa (CSF, 2011)

Automating object transformations for dynamic software updating. - Stephen Magill; Michael Hicks 001; Suriya Subramanian; Kathryn S. McKinley (OOPSLA, 2012)

Specifying and Verifying the Correctness of Dynamic Software Updates. - Christopher M. Hayden; Stephen Magill; Michael Hicks 001; Nate Foster; Jeffrey S. Foster (VSTTE, 2012)

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. - Piotr Mardziel; Stephen Magill; Michael Hicks 001; Mudhakar Srivatsa (J. Comput. Secur., 2013)

Refining Existential Properties in Separation Logic Analyses. - Matko Botincan; Mike Dodds; Stephen Magill (CoRR, 2015)

Continuous Formal Verification of Amazon s2n. - Andrey Chudnov; Nathan Collins; Byron Cook; Joey Dodds; Brian Huffman; Colm MacCárthaigh; Stephen Magill; Eric Mertens; Eric Mullen; Serdar Tasiran; Aaron Tomb; Eddy Westbrook (CAV (2), 2018)

A data-driven CHC solver. - He Zhu 001; Stephen Magill; Suresh Jagannathan (PLDI, 2018)

What's the Over/Under? Probabilistic Bounds on Information Leakage. - Ian Sweet; José Manuel Calderón Trilla; Chad Scherrer; Michael Hicks 001; Stephen Magill (POST, 2018)

Tutorial: Continuous Verification of Critical Software. - Mike Dodds; Stephen Magill; Aaron Tomb (SecDev, 2018)

An inductive synthesis framework for verifiable reinforcement learning. - He Zhu 001; Zikang Xiong; Stephen Magill; Suresh Jagannathan (PLDI, 2019)

Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy. - José Manuel Calderón Trilla; Michael Hicks 001; Stephen Magill; Piotr Mardziel; Ian Sweet (Foundations of Probabilistic Programming, 2020)

Tutorial: Static Analysis at Scale with Muse. - Stephen Magill; Thomas DuBuisson (SecDev, 2020)

Characterizing Dependency Update Practice of NPM, PyPI and Cargo Packages. - Imranur Rahman; Nusrat Zahan; Stephen Magill; William Enck; Laurie A. Williams (CoRR, 2024)