A Formal Model of Identity Mixer

Jan Camenisch, Sebastian Alexander Mödersheim, Dieter Sommer

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    458 Downloads (Pure)

    Abstract

    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 tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol veri- fication tools in the spirit of black-box cryptography models.
    Original languageEnglish
    Title of host publicationProceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems
    Number of pages16
    Place of PublicationHeidelberg
    PublisherSpringer
    Publication date2010
    Pages198-214
    DOIs
    Publication statusPublished - 2010
    EventInternational Workshop on Formal Methods for Industrial Critical Systems - Antwerp, Belgium
    Duration: 1 Jan 2010 → …
    Conference number: 15

    Conference

    ConferenceInternational Workshop on Formal Methods for Industrial Critical Systems
    Number15
    CityAntwerp, Belgium
    Period01/01/2010 → …
    SeriesLecture Notes in Computer Science
    NumberLNCS 6371

    Keywords

    • Formal Modeling Verification

    Cite this

    Camenisch, J., Mödersheim, S. A., & Sommer, D. (2010). A Formal Model of Identity Mixer. In Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems (pp. 198-214). Springer. Lecture Notes in Computer Science, No. LNCS 6371 https://doi.org/10.1007/978-3-642-15898-8_13