Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.

Parker Hanson Benjamin Winters Eric Mercer Brett Decker

Published in: SPIN (2022)

Keyphrases

image analysis
artificial intelligence
case study
machine learning
open source
software tools
database
learning algorithm
database systems
control system
object oriented
software architecture
efficient implementation
quantitative analysis