# Publications

* "[Constructing semantic models of programs with the software analysis workbench](https://cdn.prod.website-files.com/673b407e535dbf3b547179dd/677c5403f423e08e322e135b_Constructing%20Semantic%20Models%20of%20Programs%20with%20The%20Software%20Analysis%20Workbench.pdf)" by Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, and Aaron Tomb
* “[Verified Cryptographic Code for Everybody](https://link.springer.com/chapter/10.1007/978-3-030-81685-8_31)” by Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, and Andrei Stefanescu
* “[Continuous Formal Verification of Amazon s2n](https://link.springer.com/chapter/10.1007/978-3-319-96142-2_26)” by Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, and Eddy Westbrook