Brett Decker

According to our database, Brett Decker authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2021

Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench.

Brett Decker, Benjamin Winters, Eric Mercer

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021