search

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols
GNU General Public License v3.0
17 stars 2 forks source link

DeepSec 2.0.0 #39

Closed VincentCheval closed 4 years ago

VincentCheval commented 4 years ago

Improved version of DeepSec with connexion to the User Interface.