papers
Publications (10)
cs.CR2016
Build It, Break It, Fix It: Contesting Secure Development
Andrew Ruef, Michael Hicks, James Parker +3
cs.CR2019
Build It, Break It, Fix It: Contesting Secure Development
James Parker, Michael Hicks, Andrew Ruef +5
cs.SE2019
A Counterexample-guided Approach to Finding Numerical Invariants
ThanhVu Nguyen, Timos Antopoulos, Andrew Ruef +1
cs.AI2016
Argumentation Models for Cyber Attribution
Eric Nunes, Paulo Shakarian, Gerardo I. Simari +1
cs.CR2018
Evaluating Fuzz Testing
George Klees, Andrew Ruef, Benji Cooper +2
cs.CR2015
Cyber-Deception and Attribution in Capture-the-Flag Exercises
Eric Nunes, Nimish Kulkarni, Paulo Shakarian +2
cs.CY2015
Cyber Attacks and Public Embarrassment: A Survey of Some Notable Hacks
Jana Shakarian, Paulo Shakarian, Andrew Ruef
cs.CR2013
The Dragon and the Computer: Why Intellectual Property Theft is Compatible with Chinese Cyber-Warfare Doctrine
Paulo Shakarian, Jana Shakarian, Andrew Ruef
cs.CR2017
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning
Rock Stevens, Octavian Suciu, Andrew Ruef +3
cs.PL2018
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Shiyi Wei, Piotr Mardziel, Andrew Ruef +2