search

DeepSec-prover / deepsec

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

XOR #83

Open huahuaLover opened 4 weeks ago

huahuaLover commented 4 weeks ago

Does Deepsec support XOR operations?

VincentCheval commented 3 weeks ago

DeepSeec does not support XOR.