CryptoVerif

swMATH9907MaRDI QIDQ21886FDOQ21886

Author name not available (Why is that?)

Cited In (2)

• Financial cryptography and data security. FC 2011 workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28--March 4, 2011. Revised selected papers
• Proved Generation of Implementations from Computationally Secure Protocol Specifications

This page was built for software: CryptoVerif