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