Login / Signup
Brett Decker
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Static Analysis
Software Tools
Control System
Hash Functions
Top Venues
SPIN
NFM
</>
Publications
</>
Parker Hanson
,
Benjamin Winters
,
Eric Mercer
,
Brett Decker
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.
SPIN
(2022)
Brett Decker
,
Benjamin Winters
,
Eric Mercer
Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench.
NFM
(2021)