Publications

Poster: Akatosh: Automated Cyber Incident Verification and Impact Analysis

ACM Conference on Computer and Communications Security (CCS)
Smith, Jared M., Greenlee, Elliot, Ferber, Aaron
BibTeX

The Impact of Analog Computational Error on an Analog Boolean Satisfiability Solver

IEEE International Symposium on Circuits and Systems (ISCAS)
Smith, Jared M. and Basford, David A and Connor, R Joseph and MacLennan, Bruce J and Holleman, Jeremy
BibTeX