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

    547 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

    Fingerprint

    Dive into the research topics of 'A Formal Model of Identity Mixer'. Together they form a unique fingerprint.

    Cite this