Stephen Magill

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 9

Top Topics

Formal Verification

Constraint Solver

Information Leakage

Web Based Training

Top Venues

Publications

Imranur Rahman, Nusrat Zahan, Stephen Magill, William Enck, Laurie A. Williams
Characterizing Dependency Update Practice of NPM, PyPI and Cargo Packages. CoRR (2024)
Stephen Magill, Thomas DuBuisson
Tutorial: Static Analysis at Scale with Muse. SecDev (2020)
He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
An inductive synthesis framework for verifiable reinforcement learning. PLDI (2019)
He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan
An Inductive Synthesis Framework for Verifiable Reinforcement Learning. CoRR (2019)
He Zhu, Stephen Magill, Suresh Jagannathan
A data-driven CHC solver. PLDI (2018)
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
What's the Over/Under? Probabilistic Bounds on Information Leakage. CoRR (2018)
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
Continuous Formal Verification of Amazon s2n. CAV (2) (2018)
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill
What's the Over/Under? Probabilistic Bounds on Information Leakage. POST (2018)
Mike Dodds, Stephen Magill, Aaron Tomb
Tutorial: Continuous Verification of Critical Software. SecDev (2018)
Matko Botincan, Mike Dodds, Stephen Magill
Refining Existential Properties in Separation Logic Analyses. CoRR (2015)
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. J. Comput. Secur. 21 (4) (2013)
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE (2012)
Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley
Automating object transformations for dynamic software updating. OOPSLA (2012)
Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa
Dynamic Enforcement of Knowledge-Based Security Policies. CSF (2011)
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
Automatic numeric abstractions for heap-manipulating programs. POPL (2010)
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis
Finding heap-bounds for hardware synthesis. FMCAD (2009)
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
THOR: A Tool for Reasoning about Shape and Arithmetic. CAV (2008)
Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook
Arithmetic Strengthening for Shape Analysis. SAS (2007)
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park
The Inverse Method for the Logic of Bunched Implications. LPAR (2004)
Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale
Implementation and Verification of Programmable Security. DBSec (2002)
Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi
Simulation and Analysis of Cryptographic Protocols. DBSec (2000)