Pinned Repositories
s2n-tls
An implementation of the TLS/SSL protocols
acl2
ACL2 System and Books as Maintained by the Community
aws-lc
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
aws-verification-model-for-libcrypto
Partial verification model for openssl.
cbmc
C Bounded Model Checker
leanbv
LNSym
Armv8 Native Code Symbolic Simulator in Lean
s2n-tls
s2n : an implementation of the TLS/SSL protocols
smt-lib-benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2023 release.
smt-lib-benchmark-submission-2024
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
nwetzler's Repositories
nwetzler/acl2
ACL2 System and Books as Maintained by the Community
nwetzler/aws-lc
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
nwetzler/aws-verification-model-for-libcrypto
Partial verification model for openssl.
nwetzler/cbmc
C Bounded Model Checker
nwetzler/leanbv
nwetzler/LNSym
Armv8 Native Code Symbolic Simulator in Lean
nwetzler/s2n-tls
s2n : an implementation of the TLS/SSL protocols
nwetzler/smt-lib-benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2023 release.
nwetzler/smt-lib-benchmark-submission-2024
Repository for the submission of SMT-LIB benchmarks for the 2024 release.