Gergely Alpár is going to give a talk about ”Using NFC Phones for Proving Credentials” on the PILATES Workshop in Kaiserslautern, Germany on March 21, 2011. The workshop’s programme is available here, the full text of the paper can be read here.
Meilof Veeningen will give a talk at the next meeting of the Crypto Working Group on May 13, 2011. In the talk, entitled “Privacy analysis for communication protocols“, he will present ongoing work on using Formal Methods to systematically analyse the privacy of communication protocols.
See here for the programme of the Crypto Working Group meeting.