The paper “Designated Attribute-Based Proofs for RFID Applications” has been accepted at the international workshop RFIDsec 2012.

The paper, written by Gergely Alpar, Lejla Batina and Wouter Lueks, proposes and investigates a new cryptographic protocol, the designated verification of a discrete logarithm representation; moreover, it enables for the prover to selectively disclose just a subset of secret values to the chosen verifier.

Although the research was motivated by RFID systems, the protocol suggests more general applicability in other fields, such as credential systems or voting schemes.

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.