Call for abstracts: CryptoForma workshop on Security Protocols, Cryptography and Formal Methods co-located with CSF in Verona, 13 July 2015. Since the 1990s, formal methods have been successfully applied to the modelling and verification of security protocols at a high level of abstraction. However, modern cryptographic protocols contain probabilistic and complexity theoretic aspects which require […]
Archive | May, 2015
If you are a member of CryptoForma, please login.