3rd International CryptoForma workshop at ESORICS, 12 September 2013

The 3rd International CryptoForma workshop will be co-located with ESORICS 2013, at Royal Holloway University of London on 12 September 2013. The previous workshops targeted the Cryptology (Paris 2010) and Formal Methods (Limerick 2011) communities – this time we are holding a workshop looking at the formal verification of security protocols and cryptography at a major security conference.
The workshop includes an invited talk from Steve Kremer, INRIA Nancy.

Submitted abstracts have been vetted for relevance. Submission page.

Workshop Programme 12 September 2013

9:15-10:15: Invited talk: Steve Kremer, INRIA Nancy. How to distinguish Alice and Bob?
(Verification of symbolic indistinguishability properties.)
10:45-11:25 Gurchetan S Grewal, Mark Ryan, Michael Clarkson and Liqun Chen. Voting on an untrusted platform using a hardware token
11:25-12:05 Feng Hao. Self-Enforcing E-Voting: E2E Verifiable without Involving Tallying Authorities
12:05-12:45 Giampaolo Bella, Rosario Giustolisi, Lenzini Gabriele and Peter Y. A. Ryan. What Security for Electronic Exams?
14:15-15:00 Jiangshan Yu, Vincent Cheval and Mark Ryan. Evaluations and On-Going Work on Alternatives to Certificate Trust Model
15:00-15:45 Daniel Dougherty and Joshua Guttman. Decidability for Implicitly Authenticated Diffie-Hellman Protocols
16:15-17:00 Jens Groth. Structure-preserving pairing-based signatures

Stay updated

Stay involved in our discussions on various social networks.

Comments are closed.