| Program logics for certified compilers AW Appel Cambridge University Press, 2014 | 251 | 2014 |
| VST-Floyd: A separation logic tool to verify correctness of C programs Q Cao, L Beringer, S Gruetter, J Dodds, AW Appel Journal of Automated Reasoning 61, 367-422, 2018 | 108 | 2018 |
| Continuous formal verification of Amazon s2n A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ... Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 74 | 2018 |
| A certificate infrastructure for machine-checked proofs of conditional information flow T Amtoft, J Dodds, Z Zhang, A Appel, L Beringer, J Hatcliff, X Ou, ... Principles of Security and Trust: First International Conference, POST 2012 …, 2012 | 28 | 2012 |
| Verified cryptographic code for everybody B Boston, S Breese, J Dodds, M Dodds, B Huffman, A Petcher, ... Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 10 | 2021 |
| Mostly sound type system improves a foundational program verifier J Dodds, AW Appel International Conference on Certified Programs and Proofs, 17-32, 2013 | 7 | 2013 |
| VST-Floyd: A separation logic tool to verify correctness of C programs. JAR 61, 1-4 (2018), 367–422 Q Cao, L Beringer, S Gruetter, J Dodds, AW Appel | 6 | 2018 |
| Verifiable C AW Appel, L Beringer, J Dodds | 4 | 2016 |
| Verifying s2n HMAC with SAW J Dodds | 2 | 2016 |
| Part one: Verifying s2n HMAC with SAW. Galois Blog.(Sept. 2016) J Dodds | 2 | 2016 |
| A development environment and static analyses for GUARDOL-a language for the specification of high assurance guards J Dodds Kansas State University, 2011 | 2 | 2011 |
| Trustworthy Elections J Dodds | | 2020 |
| Computation improves interactive symbolic execution J Dodds Princeton University, 2015 | | 2015 |
| Buck Fell: a pioneer hill plantation in Northumberland. GG Stewart, JW Dodds | | 1960 |
