Andrew Ruef

24 papers A* 2A 1B 3Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
ACM Trans. Priv. Secur.
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
2019 J jnl
A Counterexample-guided Approach to Finding Numerical Invariants.
CoRR
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
2019 — conf
Achieving Safety Incrementally with Checked C.
POST
Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
2019 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
CoRR
James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton
2018 — conf
Checked C: Making C Safe by Extension.
SecDev
Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi
2018 A conf
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
ESOP
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
2018 J jnl
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
CoRR
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
2018 A* conf
Evaluating Fuzz Testing.
CCS
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
2018 J jnl
Evaluating Fuzz Testing.
CoRR
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
2018 — —
Tools and Experiments for Software Security.
Andrew Ruef
2018 B conf
Volume-Based Merge Heuristics for Disjunctive Numeric Domains.
SAS
Andrew Ruef, Kesha Hietala, Arlen Cox
2017 — conf
Counterexample-guided approach to finding numerical invariants.
ESEC/SIGSOFT FSE
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
2017 — conf
Measuring cyber attribution in games.
eCrime
Andrew Ruef, Eric Nunes, Paulo Shakarian, Gerardo I. Simari
2017 J jnl
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning.
CoRR
Rock Stevens, Octavian Suciu, Andrew Ruef, Sanghyun Hong, Michael W. Hicks, Tudor Dumitras
2016 J jnl
Argumentation Models for Cyber Attribution.
CoRR
Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Andrew Ruef
2016 B conf
Argumentation models for cyber attribution.
ASONAM
Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Andrew Ruef
2016 A* conf
Build It, Break It, Fix It: Contesting Secure Development.
CCS
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
2016 J jnl
Build It, Break It, Fix It: Contesting Secure Development.
CoRR
Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel
2016 — ch.
Cyber-Deception and Attribution in Capture-the-Flag Exercises.
Cyber Deception
Eric Nunes, Nimish Kulkarni, Paulo Shakarian, Andrew Ruef, Jay Little
2015 J jnl
Cyber Attacks and Public Embarrassment: A Survey of Some Notable Hacks.
CoRR
Jana Shakarian, Paulo Shakarian, Andrew Ruef
2015 B conf
Cyber-Deception and Attribution in Capture-the-Flag Exercises.
ASONAM
Eric Nunes, Nimish Kulkarni, Paulo Shakarian, Andrew Ruef, Jay Little
2015 J jnl
Cyber-Deception and Attribution in Capture-the-Flag Exercises.
CoRR
Eric Nunes, Nimish Kulkarni, Paulo Shakarian, Andrew Ruef, Jay Little
2015 — ch.
Programming Language Theoretic Security in the Real World: A Mirage or the Future?
Cyber Warfare
Andrew Ruef, Chris Rohlf
2013 J jnl
The Dragon and the Computer: Why Intellectual Property Theft is Compatible with Chinese Cyber-Warfare Doctrine.
CoRR
Paulo Shakarian, Jana Shakarian, Andrew Ruef