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.