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
How to distinguish Alice and Bob?
(Verification of symbolic indistinguishability properties.)
(Verification of symbolic indistinguishability properties.)
Voting on an untrusted platform using a hardware token
Self-Enforcing E-Voting: E2E Verifiable without Involving Tallying Authorities
What Security for Electronic Exams?
Evaluations and On-Going Work on Alternatives to Certificate Trust Model
Decidability for Implicitly Authenticated Diffie-Hellman Protocols
Structure-preserving pairing-based signatures
Comments are closed.