Skip to contents

  1. Backes, Michael [Author]; Maffei, Matteo [Author]; Unruh, Dominique [Author] ; Michael Backes and Matteo Maffei and Dominique Unruh [Contributor]

    Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008