BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Laboratoire de Mathématiques de Versailles - ECPv6.16.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://lmv.math.cnrs.fr
X-WR-CALDESC:Évènements pour Laboratoire de Mathématiques de Versailles
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241205T110000
DTEND;TZID=Europe/Paris:20241205T123000
DTSTAMP:20241205T153846Z
CREATED:20241129T082232Z
LAST-MODIFIED:20241205T153846Z
UID:13391-1733396400-1733401800@lmv.math.cnrs.fr
SUMMARY:CRYPTO: Jacques Patarin - Où en est la cryptographie Multivariable ?
DESCRIPTION:La Cryptographie Multivariable est une technique de cryptographie basée sur le problème de résolution de systèmes d’équations polynomiales (en général de degré 2) en plusieurs variables sur un corps fini.\nIl s’agit d’un problème NP complet apparemment très robuste.\nLa cryptographie multivariable est actuellement une des 6 grandes techniques pour faire de la cryptographie à clé publique Post-Quantique (avec les réseaux\, les codes correcteurs\, les isogénies\, le MPC in the head\, et les signatures à base de Hash). \nElle est apparu assez tôt avec l’algorithme C* de Matsumoto et Imai et de très nombreux algorithmes ont été développés depuis.\nCependant la plupart ont été cassés\, en particulier via des techniques de bases de gröbner ou de MinRank. \nNéanmoins l’un des schéma\, UOV (Unbalanced Oil and Vinegar)\, résiste bien\, et 4 variantes de UOV viennent de passer au second tour de la nouvelle compétition Post Quantique du NIST en signature.\nDe plus des idées très récentes permettent à nouveau de rendre un autre algorithme\, HFE (Hidden Field Equation)\, relativement efficace aussi bien en signature qu’en chiffrement. \nParmi les avantages de la cryptographie multivariable : avoir des signatures très courtes\, être en général Post Quantique\, et certains schémas sont vraiment très simples.\nParmi les inconvénients : avoir souvent une clé publique assez grande\, mais ces dernières années plusieurs idées nouvelles ont permis de beaucoup réduire cette taille.
URL:https://lmv.math.cnrs.fr/evenenement/crypto-jacques-patarin-ou-en-est-la-cryptographie-multivariable/
LOCATION:Bâtiment Fermat\, salle 4205
CATEGORIES:Séminaire CRYPTO
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241212T110000
DTEND;TZID=Europe/Paris:20241212T133000
DTSTAMP:20241212T144919Z
CREATED:20241129T083118Z
LAST-MODIFIED:20241212T144919Z
UID:13393-1734001200-1734010200@lmv.math.cnrs.fr
SUMMARY:CRYPTO: Michele Orrù (IRIF) - Revisiting keyed-verification credentials
DESCRIPTION:Keyed-verification anonymous credentials are widely recognized as some of the most efficient tools for anonymous authentication. \nIn this work\, we revisit two prominent credential systems: the scheme by Chase et al. (CCS 2014)\, commonly referred to as CMZ or PS MAC\, and the scheme by Barki et al. (SAC 2016)\, known as BBDT or BBS MAC. We show how to make CMZ perfectly anonymous and BBS MAC more efficient and compatible with the BBS RFC draft. We provide a comprehensive security analysis for anonymous tokens\, showing strong(er) unforgeability and blindness properties\, which we call extractability and anonymity. These properties allow them to be composed with extensions that users can select freely. We build rate-limiting and pseudonym systems as examples. \nFor keyed-verification anonymous credentials\, designated-verifier proofs suffice since the verifier is known in advance. To enable faster proofs for complex presentations\, we present a compiler that transforms an interactive oracle proof and a designated-verifier polynomial commitment into a designated-verifier non-interactive zero-knowledge proof (NIZK). This allows for building fully-succinct designated-verifier SNARKs without pairings. We explore potential extensions that could benefit from this approach. \nMichele Orrù is a chargé de recherche (Assistant Professor) at the French National Centre for Scientific Research (CNRS). He conducts research in cryptography and security\, with a focus on zero-knowledge proofs\, anonymous credential systems\, and confidential transactions. He is a developer of a popular zk-SNARK library (arkworks) and a co-author of an anonymous whistleblowing platform\, Globaleaks. In the past\, he contributed to Python\, Debian\, and Tor. \nL’ePrint paper https://eprint.iacr.org/2024/1552.pdf
URL:https://lmv.math.cnrs.fr/evenenement/crypto-michele-orru-irif-revisiting-keyed-verification-credentials/
LOCATION:Bâtiment Fermat\, salle 4205
CATEGORIES:Séminaire CRYPTO
END:VEVENT
END:VCALENDAR