Andrew Ruef

According to our database, Andrew Ruef authored at least 17 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Build It, Break It, Fix It: Contesting Secure Development.

James Parker, Michael Hicks, Andrew Ruef, Michelle L. Mazurek, Dave Levin, Daniel Votipka, Piotr Mardziel, Kelsey R. Fulton

ACM Trans. Priv. Secur., 2020

2019

Achieving Safety Incrementally with Checked C.

Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

2018

Tools and Experiments for Software Security.

Andrew Ruef

PhD thesis, 2018

Checked C: Making C Safe by Extension.

Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Volume-Based Merge Heuristics for Disjunctive Numeric Domains.

Andrew Ruef, Kesha Hietala, Arlen Cox

Proceedings of the Static Analysis - 25th International Symposium, 2018

Evaluating Design Tradeoffs in Numeric Static Analysis for Java.

Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks

Proceedings of the Programming Languages and Systems, 2018

Evaluating Fuzz Testing.

George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning.

Rock Stevens, Octavian Suciu, Andrew Ruef, Sanghyun Hong, Michael W. Hicks, Tudor Dumitras

CoRR, 2017

Counterexample-guided approach to finding numerical invariants.

ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Measuring cyber attribution in games.

Andrew Ruef, Eric Nunes, Paulo Shakarian, Gerardo I. Simari

Proceedings of the 2017 APWG Symposium on Electronic Crime Research, 2017

2016

Build It, Break It, Fix It: Contesting Secure Development.

Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Argumentation models for cyber attribution.

Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Andrew Ruef

Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016

Cyber-Deception and Attribution in Capture-the-Flag Exercises.

Eric Nunes, Nimish Kulkarni, Paulo Shakarian, Andrew Ruef, Jay Little

Proceedings of the Cyber Deception, Building the Scientific Foundation, 2016

2015

Programming Language Theoretic Security in the Real World: A Mirage or the Future?

Andrew Ruef, Chris Rohlf

Proceedings of the Cyber Warfare - Building the Scientific Foundation, 2015

Cyber Attacks and Public Embarrassment: A Survey of Some Notable Hacks.

Jana Shakarian, Paulo Shakarian, Andrew Ruef

CoRR, 2015

Cyber-Deception and Attribution in Capture-the-Flag Exercises.

Eric Nunes, Nimish Kulkarni, Paulo Shakarian, Andrew Ruef, Jay Little

Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

2013

The Dragon and the Computer: Why Intellectual Property Theft is Compatible with Chinese Cyber-Warfare Doctrine.

Paulo Shakarian, Jana Shakarian, Andrew Ruef

CoRR, 2013