ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
23
stars
4
forks
source link
Fixed Narrator Makefile, updated ProVerif to handle multiple types for its AST modification code #3
Closed
darrenldl closed 5 years ago