research
∙
07/02/2019
Build It, Break It, Fix It: Contesting Secure Development
Typical security contests focus on breaking or mitigating the impact of ...
share
research
∙
03/28/2019
A Counterexample-guided Approach to Finding Numerical Invariants
Numerical invariants, e.g., relationships among numerical variables in a...
research
∙
08/29/2018
Evaluating Fuzz Testing
Fuzz testing has enjoyed great success at discovering security critical ...
research
∙
02/24/2018
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Numeric static analysis for Java has a broad range of potentially useful...
research
∙
07/07/2016