Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. - Brett Decker; Benjamin Winters; Eric Mercer (NFM, 2021)

Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. - Parker Hanson; Benjamin Winters; Eric Mercer; Brett Decker (SPIN, 2022)