Two years after the first Mobiman publication was presented at FAST 2010, we return to Pisa with a paper at STM 2012, the 8th edition of the International Workshop on Security and Trust Management.
The paper, “Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy”, is written by Meilof Veeningen, Benne de Weger, and Nicola Zannone, and applies and extends the formal methods developed earlier, in a case study on pseudonymous use of health care data.
STM2012 is a workshop colocated with ESORICS 2012. The proceedings will appear in LNCS.
The paper “Formal Privacy Analysis of Communication Protocols for Identity Management” has been accepted for presentation at the Seventh International Conference on Information Systems Security (ICISS 2011) conference on December 15-19 in Kolkata, India. In the paper, Meilof Veeningen, Benne de Weger and Nicola Zannone of TU/e demonstrate a framework to reason formally about privacy in identity management protocols.
For more information about Mobiman publications, please refer to the Publications page.
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.
The paper “Modeling identity-related properties and their privacy strength” has been accepted for presentation at the The 7th International Workshop on Formal Aspects of Security & Trust (FAST2010) on September 16-17 in Pisa, Italy.
This paper is the first publication to come out of the Mobiman project.
For more information, see the Publications page.
Gergely Alpár has started his project at Radboud University in Nijmegen and at TNO in Groningen on March 1, 2010. His major background is error-correcting codes and public-key cryptographic protocols. His supervisors are Jaap-Henk Hoepman and Bart Jacobs.
Gergely first turned his attention to the historical overview of identity management (idm) and, in particular, mobile idm.
On January 1, 2010, Meilof Veeningen has started work for the Mobiman project. He works as PhD student under Sandro Etalle at the Security group at Eindhoven University of Technology.
Apart from Sandro Etalle, also Nicola Zannone and Benne de Weger will be involved in the Mobiman project. See here for Meilofs contact information.