Cryptyc

swMATH12834MaRDI QIDQ24758FDOQ24758

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: Cryptyc