CASPA_

MaRDI QIDQ16265swMATHFDO

Official website http://www.infsec.cs.uni-saarland.de/caspa/home.htm

Cited in

(3)

• Automated type-based analysis of injective agreement in the presence of compromised principals
• OFMC
• Cryptyc

This page was built for software: CASPA_