| Program logics for certified compilers AW Appel Cambridge University Press, 2014 | 276 | 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 | 129 | 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 | 84 | 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 | 29 | 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 | 16 | 2021 |
| Vert: Verified equivalent rust transpilation with few-shot learning AZH Yang, Y Takashima, B Paulsen, J Dodds, D Kroening arXiv preprint arXiv:2404.18852, 2024 | 7 | 2024 |
| 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 | 7 | 2018 |
| Verifiable C AW Appel, L Beringer, J Dodds | 7 | 2016 |
| 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 |
| VERT: Verified equivalent rust transpilation with large language models as few-shot learners AZH Yang, Y Takashima, B Paulsen, J Dodds, D Kroening arXiv preprint arXiv:2404.18852, 2024 | 5 | 2024 |
| 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, 2010 | 2 | 2010 |
| Trustworthy Elections J Dodds | | 2020 |
| Computation improves interactive symbolic execution J Dodds Princeton University, 2015 | | 2015 |
