Sign in
Joey Dodds
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Formal Verification
Model Checker
Hash Functions
Encryption Key
Top Venues
CAV (2)
CAV (1)
</>
Publications
</>
Brett Boston
,
Samuel Breese
,
Joey Dodds
,
Mike Dodds
,
Brian Huffman
,
Adam Petcher
,
Andrei Stefanescu
Verified Cryptographic Code for Everybody.
CAV (1)
(2021)
Andrey Chudnov
,
Nathan Collins
,
Byron Cook
,
Joey Dodds
,
Brian Huffman
,
Colm MacCárthaigh
,
Stephen Magill
,
Eric Mertens
,
Eric Mullen
,
Serdar Tasiran
,
Aaron Tomb
,
Eddy Westbrook
Continuous Formal Verification of Amazon s2n.
CAV (2)
(2018)