A Formal Model of Identity Mixer
- Cite this paper as:
- Camenisch J., Mödersheim S., Sommer D. (2010) A Formal Model of Identity Mixer. In: Kowalewski S., Roveri M. (eds) Formal Methods for Industrial Critical Systems. FMICS 2010. Lecture Notes in Computer Science, vol 6371. Springer, Berlin, Heidelberg
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly technology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol verification tools in the spirit of black-box cryptography models.
Unable to display preview. Download preview PDF.