Follow
Andrew Ruef
Andrew Ruef
Unknown affiliation
Verified email at mimisbrunnr.net
Title
Cited by
Cited by
Year
Evaluating fuzz testing
G Klees, A Ruef, B Cooper, S Wei, M Hicks
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
4122018
Identifying software execution behavior
AM Saunders, AW Ruef
US Patent 8,533,836, 2013
2242013
Introduction to cyber-warfare: A multidisciplinary approach
P Shakarian, J Shakarian, A Ruef
Newnes, 2013
2012013
Mcsema: Static translation of x86 instructions to llvm
A Dinaburg, A Ruef
ReCon 2014 Conference, Montreal, Canada, 2014
732014
Build it, break it, fix it: Contesting secure development
A Ruef, M Hicks, J Parker, D Levin, ML Mazurek, P Mardziel
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
702016
Counterexample-guided approach to finding numerical invariants
TV Nguyen, T Antonopoulos, A Ruef, M Hicks
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
412017
Checked C: making C safe by extension
AS Elliott, A Ruef, M Hicks, D Tarditi
2018 IEEE Cybersecurity Development (SecDev), 53-60, 2018
392018
Cyber-deception and attribution in capture-the-flag exercises
E Nunes, N Kulkarni, P Shakarian, A Ruef, J Little
Proceedings of the 2015 IEEE/ACM International Conference on Advances in …, 2015
262015
Attacking iranian nuclear facilities: Stuxnet
P Shakarian, J Shakarian, A Ruef
Introduction to cyber-warfare: A multidisciplinary approach, 223-239, 2013
222013
Evaluating design tradeoffs in numeric static analysis for Java
S Wei, P Mardziel, A Ruef, JS Foster, M Hicks
European Symposium on Programming, 653-682, 2018
192018
Summoning demons: The pursuit of exploitable bugs in machine learning
R Stevens, O Suciu, A Ruef, S Hong, M Hicks, T Dumitraş
arXiv preprint arXiv:1701.04739, 2017
192017
Argumentation models for cyber attribution
E Nunes, P Shakarian, GI Simari, A Ruef
2016 IEEE/ACM International Conference on Advances in Social Networks …, 2016
192016
Achieving safety incrementally with Checked C
A Ruef, L Lampropoulos, I Sweet, D Tarditi, M Hicks
International Conference on Principles of Security and Trust, 76-98, 2019
162019
Systems and methods for tracking and recording events in a network of computing systems
M Viscuso, B Johnson, A Saunders, A Ruef, J McFarland
US Patent 10,185,822, 2019
152019
Build it, break it, fix it: Contesting secure development
J Parker, M Hicks, A Ruef, ML Mazurek, D Levin, D Votipka, P Mardziel, ...
ACM Transactions on Privacy and Security (TOPS) 23 (2), 1-36, 2020
82020
Cyber attacks and public embarrassment: A survey of some notable hacks
J Shakarian, P Shakarian, A Ruef
arXiv preprint arXiv:1501.05990, 2015
72015
Build it break it: Measuring and comparing development security
A Ruef, M Hicks, J Parker, D Levin, A Memon, J Plane, P Mardziel
8th Workshop on Cyber Security Experimentation and Test (CSET 15), 2015
72015
The Dragon and the Computer: Why Intellectual Property Theft is Compatible with Chinese Cyber-Warfare Doctrine
P Shakarian, J Shakarian, A Ruef
arXiv preprint arXiv:1309.6450, 2013
72013
Cyber attacks by nonstate hacking groups: The case of Anonymous and its affiliates
P Shakarian, J Shakarian, A Ruef
Shakarian P., Shakarian J., Ruef A. Introduction to Cyber-Warfare Syngress …, 2013
72013
Volume-based merge heuristics for disjunctive numeric domains
A Ruef, K Hietala, A Cox
International Static Analysis Symposium, 383-401, 2018
42018
The system can't perform the operation now. Try again later.
Articles 1–20