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.