List your company
ResearchFormerly WizWand

Security protocol analysis on PKCS11 AEAD protocol

245.2Average Proof SizeTamRL
225.568358.084490.6623.116May 22, 2026
Updated 5mo ago

Evaluation results

MethodLinks
TamRLHeuristic=RL, Context=Full Set2026.05245.2
TamRLHeuristic=RL, Context=Intersection c/s ∩ RL2026.05245.2
TamRLHeuristic=RL, Context=Intersection Orig. ∩ RL2026.05245.2
TamRLHeuristic=RL, Lemma Intersection Set=c/s ∩ RL2026.05245.2
TamRLHeuristic=RL, Lemma Intersection Set=Orig. ∩ RL2026.05245.2
sHeuristic=s, Context=Full Set2026.05471.8
Orig.Heuristic=Orig., Context=Full Set2026.05471.8
c/sHeuristic=c/s, Context=Intersection c/s ∩ RL2026.05471.8
Orig.Heuristic=Orig., Context=Intersection Orig. ∩ RL2026.05471.8
Tamarin Heuristic (c/s)Heuristic=c/s, Lemma Intersection Set=c/s ∩ RL2026.05471.8
Original HeuristicHeuristic=Orig., Lemma Intersection Set=Orig. ∩ RL2026.05471.8
cHeuristic=c, Context=Full Set2026.05736