Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench.

Brett Decker Benjamin Winters Eric Mercer

Published in: NFM (2021)

Keyphrases

static analysis
model checking
real time
analysis tool
software development
software platform
database
hash functions
software tools
computer systems
control system
data analysis
data structure
multiscale
case study
decision making
data mining