search

DeepSec-prover / deepsec

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

[All] Type system #26

Open VincentCheval opened 5 years ago

VincentCheval commented 5 years ago

Include a type system that include the work of Cortier & all.