Cryptyc

MaRDI QIDQ24758swMATHFDO

Official website http://cryptyc.cs.depaul.edu/intro.html

Cited in

(6)

• Programming Languages and Systems
• Pattern-matching spi-calculus
• TAPS
• CASPA_
• OFMC
• Automated type-based analysis of injective agreement in the presence of compromised principals

This page was built for software: Cryptyc