papers
Publications (15)
cs.NI2015
Morpheus: Safe and Flexible Dynamic Updates for SDNs
Karla Saur, Joseph Collard, Nate Foster +3
cs.CR2016
Build It, Break It, Fix It: Contesting Secure Development
Andrew Ruef, Michael Hicks, James Parker +3
astro-ph.EP2012
Composition of Near-Earth Asteroid 2008 EV5: Potential target for Robotic and Human Exploration
Vishnu Reddy, Lucille Le Corre, Michael Hicks +5
cs.CR2019
Build It, Break It, Fix It: Contesting Secure Development
James Parker, Michael Hicks, Andrew Ruef +5
cs.PL2019
LWeb: Information Flow Security for Multi-tier Web Applications
James Parker, Niki Vazou, Michael Hicks
cs.CR2017
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning
Rock Stevens, Octavian Suciu, Andrew Ruef +3
cs.PL2018
Quantitative Robustness Analysis of Quantum Programs (Extended Version)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu +3
cs.PL2014
Polymonadic Programming
Michael Hicks, Gavin Bierman, Nataliya Guts +2
cs.SE2019
A Counterexample-guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antopoulos, Andrew Ruef +1
cs.PL2018
What's the Over/Under? Probabilistic Bounds on Information Leakage
Ian Sweet, Jose Manuel Calderon Trilla, Chad Scherrer +2
cs.CR2017
Quantifying vulnerability of secret generation using hyper-distributions (extended version)
Mário S. Alvim, Piotr Mardziel, Michael Hicks
cs.DB2016
Evolving NoSQL Databases Without Downtime
Karla Saur, Tudor DumitraÅ, Michael Hicks
cs.CR2018
Evaluating Fuzz Testing
George Klees, Andrew Ruef, Benji Cooper +2
cs.PL2018
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Shiyi Wei, Piotr Mardziel, Andrew Ruef +2
cs.PL2018
WYS*: A DSL for Verified Secure Multi-party Computations
Aseem Rastogi, Nikhil Swamy, Michael Hicks