Sciweavers

FMICS
2010
Springer

A Formal Model of Identity Mixer

14 years 5 days ago
A Formal Model of Identity Mixer
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.
Jan Camenisch, Sebastian Mödersheim, Dieter S
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where FMICS
Authors Jan Camenisch, Sebastian Mödersheim, Dieter Sommer
Comments (0)