Pinned Repositories
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
testsmt.github.io
z3
The Z3 Theorem Prover
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
frankencert
Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations
zhendongsu's Repositories
zhendongsu/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
zhendongsu/frankencert
Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations