Cryptyc
From MaRDI portal
Software:24758
No author found.
Related Items (3)
Automated type-based analysis of injective agreement in the presence of compromised principals ⋮ Pattern-matching spi-calculus ⋮ Programming Languages and Systems
This page was built for software: Cryptyc