BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Antoine Douteau (Caen). Framework de preuves à divulgation nulle 
 de connaissances\, sans rejet\, basé sur le problème Hint-MLWE
DTSTART:20260421T133000Z
DTEND:20260421T150000Z
DTSTAMP:20260410T031500Z
UID:indico-event-16278@indico.math.cnrs.fr
DESCRIPTION:Les frameworks de preuves “Engager-et-prouver” sont une g
 énéralisation des protocoles à divulgation\nnulle de connaissances. Ils
  permettent\, en plus de prouver la connaissance d’un élément secret 
 à un\ntiers\, de prouver certaines propriétés et relations. Par exemple
 \, qu’un vecteur est de petite norme\nou encore qu’il est solution d
 ’une relation quadratique publique. Un de ces frameworks (LNP\,\nCrypto2
 2) base sa sécurité sur des problèmes cryptographiques reposant sur les
  réseaux euclidiens\nstructurés\, ainsi que sur une technique appelée 
 “échantillonnage par rejet” proposée par\nLyubashevsky (Asiacrypt09)
 . Les principaux problèmes de l’échantillonnage par rejet est qu’il 
 induit\nune construction en temps non constant\, dépendant du taux de rej
 et (ne permettant pas la\nconstruction de certains schémas cryptographiqu
 es avancés (KLSS\, Crypto23\; HSS\, Crypto24)). Un\nsecond problème est 
 son usage en boîte noire permettant des attaques par canaux auxiliaires (
 Zhao et\nal. IEEE DATE26)\, coûteuses à protéger quand elles sont consi
 dérées (Coron\, TCHES 2024).  Notre\ncontribution est une modification d
 u framework existant\, sans rejet permettant de prouver dès qu’un\nsecr
 et est solution de relations linéaires et/ou quadratiques\, en basant la 
 sécurité sur l’hypothèse\nHint-MLWE (KLSS\, Crypto23).\n\n\n\n\nhttps
 ://indico.math.cnrs.fr/event/16278/
URL:https://indico.math.cnrs.fr/event/16278/
END:VEVENT
END:VCALENDAR