BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.3.6//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:9136@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260528T170000
DTEND;TZID=Europe/Paris:20260528T174500
DTSTAMP:20260625T180710Z
URL:https://www.i2m.univ-amu.fr/evenements/proving-cryptographic-security-
 the-game-based-approach/
SUMMARY:Baptiste Bazin (I2M): Proving Cryptographic Security: The Game-Base
 d Approach
DESCRIPTION:Baptiste Bazin: Abstract : This presentation explores how the 
 security of cryptographic algorithms is formally proven. Historically\, se
 curity relied on the absence of known attacks\, but since the 1980s–90s\
 , the focus shifted to mathematical proofs. The core idea is to show that 
 breaking a scheme's security is at least as hard as solving a well-known h
 ard mathematical problem (e.g.\, integer factorization or discrete logarit
 hm). Today\, the most widely used method is game-based security proof\, wh
 ere security is modeled as a game between an adversary and a challenger. T
 his talk will explain this method and demonstrate how different security g
 uarantees can be established through such games.
CATEGORIES:Séminaire,Rencontres doctorant⋅es I2M-CPT
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR