Steven Wallace

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

Attitude Stabilization of Spacecraft in Very Low Earth Orbit by Center-Of-Mass Shifting

Towards automatic generation of vulnerability-based signatures

The gem5 simulator

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software

The M5 Simulator: Modeling Networked Systems

Satellite Communications in the New Space Era: A Survey and Future Challenges

Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures

Pin

Improved Satellite Drag Coefficient Calculations from Orbital Measurements of Energy Accommodation

Asim: a performance model framework