Follow
Josiah Dodds
Josiah Dodds
Galois
Verified email at galois.com
Title
Cited by
Cited by
Year
Program logics for certified compilers
AW Appel
Cambridge University Press, 2014
2482014
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
1022018
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
742018
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
282012
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
102021
Mostly sound type system improves a foundational program verifier
J Dodds, AW Appel
International Conference on Certified Programs and Proofs, 17-32, 2013
72013
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
62018
Verifiable C
AW Appel, L Beringer, J Dodds
42016
Verifying s2n HMAC with SAW
J Dodds
22016
Part one: Verifying s2n HMAC with SAW. Galois Blog.(Sept. 2016)
J Dodds
22016
A development environment and static analyses for GUARDOL-a language for the specification of high assurance guards
J Dodds
Kansas State University, 2011
22011
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
The system can't perform the operation now. Try again later.
Articles 1–14