22 citations · 23 across the 5 of their papers we have counts for
5 papers
PHASE: Passive Human Activity Simulation Evaluation
Steven Lamp, Jason D. Hiser, Anh Nguyen-Tuong +1
Cybersecurity simulation environments, such as cyber ranges, honeypots, and sandboxes, require realistic human behavior to be effective, yet no quantitative method exists to assess…
Zipr: A High-Impact, Robust, Open-source, Multi-platform, Static Binary Rewriter
Jason D. Hiser, Anh Nguyen-Tuong, Jack W. Davidson
Zipr is a tool for static binary rewriting, first published in 2016. Zipr was engineered to support arbitrary program modification with an emphasis on low overhead, robustness, and…
Artifact: Measuring and Mitigating Gaps in Structural Testing
Soneya Binta Hossain, Matthew B. Dwyer, Sebastian Elbaum +1
The artifact used for evaluating the experimental results of Measuring and Mitigating Gaps in Structural Testing is publicly available on GitHub, Software Heritage and figshare, an…
Helix++: A platform for efficiently securing software
Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong
The open-source Helix++ project improves the security posture of computing platforms by applying cutting-edge cybersecurity techniques to diversify and harden software automaticall…
Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing with Coverage-preserving Coverage-guided Tracing
Stefan Nagy, Anh Nguyen-Tuong, Jason D. Hiser +2
Coverage-guided fuzzing's aggressive, high-volume testing has helped reveal tens of thousands of software security flaws. While executing billions of test cases mandates fast code…