Poster: Akatosh: Automated Cyber Incident Verification and Impact Analysis

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

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