Josiah Dodds
Josiah Dodds
Galois
Verified email at galois.com
Title
Cited by
Cited by
Year
Program logics for certified compilers
AW Appel, S Blazy, X Leroy, G Stewart
Cambridge University Press, 2014
1802014
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 (1), 367-422, 2018
412018
Continuous formal verification of Amazon s2n
A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ...
International Conference on Computer Aided Verification, 430-446, 2018
362018
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, ...
International Conference on Principles of Security and Trust, 369-389, 2012
232012
Mostly sound type system improves a foundational program verifier
J Dodds, AW Appel
International Conference on Certified Programs and Proofs, 17-32, 2013
62013
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, 2010
22010
Computation improves interactive symbolic execution
J Dodds
Princeton University, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–8