Programme for the CryptoForma workshop in Paris, May 2010

Session 1: Verif

• 9.00-10.00 Invited talk from Bruno Blanchet: CryptoVerif: A Computationally Sound Mechanized Prover for Security Protocols
• 10.00-10.30 Verifying the SSH Transport Layer Protocol in the Computational Domain, Alfredo Pironti, Riccardo Sisto abs

Session 2: Crypto

• 11.00-11.30 Designated Confirmer Signatures with Unified Verification, Guilin Wang and Fubiao Xia abs
• 11.30-12.00 Adaptive Pseudo-Free Groups and Applications, Dario Catalone, Dario Fiore and Bogdan Warinschi abs
• 12.00-12.30 Ideal Key Derivation and Encryption in Simulation-based Security, Ralf Kuesters and Max Tuengerthal abs

Session 3: Forma

• 14:00-14:20 The logic of large enough, Eerke Boiten and Dan Grundy (paper: pre-print, bib; slides of longer talk).
• 14:20-14:40 Why should we analyse security ceremonies? Jean Everson Martina, Marcelo Carlomagno Carlos abs
• 14:40-15:00 Formalisation of Security Protocols involving Multicast, Jean Everson Martina abs

Session 4: Applications

• 16:00-16:30 Formal Analysis of Privacy for Vehicular Mix-Zones, Morten Dahl, Stephanie Delaune and Graham Steel abs
• 16:30-17:00 Pre- and Postconditions for Security Type Checking, Karthikeyan Bhargavan, Cedric Fournet, Nataliya Guts abs
• 17:00-17:30 Election verifiability in electronic voting protocols, Steve Kremer, Mark Ryan, Ben Smyth abs paper