111 citations · 383 across the 23 of their papers we have counts for
4 papers · 1 filter
Quantitative Robustness Analysis of Quantum Programs (Extended Version)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu +3
Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing w…
Evaluating Fuzz Testing
George Klees, Andrew Ruef, Benji Cooper +2
Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniq…
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Shiyi Wei, Piotr Mardziel, Andrew Ruef +2
Numeric static analysis for Java has a broad range of potentially useful applications, including array bounds checking and resource usage estimation. However, designing a scalable…
What's the Over/Under? Probabilistic Bounds on Information Leakage
Ian Sweet, Jose Manuel Calderon Trilla, Chad Scherrer +2
Quantitative information flow (QIF) is concerned with measuring how much of a secret is leaked to an adversary who observes the result of a computation that uses it. Prior work has…