CryptoForma: 3rd Meeting
CryptoForma home
7-8 April 2010, Bristol (postponed from January)
The third official CryptoForma meeting, hosted by the University of Bristol.
Programme
Wednesday 7 April
Mark Ryan and Ben Smyth (Birmingham): Applied Pi Calculus tutorial (
slides
,
book chapter
)
Francois Dupressoir (Open University): "
Using VCC to verify C implementations of security protocols
"
discussion: Visions (chaired by Nigel Smart)
Thursday 8 April
Alfredo Pironti and Riccardo Sisto (Politecnico de Torino): ProVerif tutorial (
abstract
,
slides part 1
,
slides part 2
,
demo files
)
Benjamin Aziz (Rutherford Appleton Laboratory, STFC): "
Verifying a Mutual Authentication Protocol for a Grid-based Operating System
"
Mark Ryan (Birmingham): [on checking the TPM specification with ProVerif]