Program logics for certified compilers AW Appel Cambridge University Press, 2014 | 256 | 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 | 110 | 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 |
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 | | 2024 |
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 |