BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260303T093000
DTEND;TZID=Europe/Paris:20260303T093000
DTSTAMP:20260226T093052Z
CREATED:20260127T151226Z
LAST-MODIFIED:20260226T093052Z
UID:28898-1772530200-1772530200@www.loria.fr
SUMMARY:Soutenance de thèse de Florian MOSER
DESCRIPTION:« Formal Methods for Internet Voting ».\nLa soutenance se déroulera le mardi 3 mars 2026 à 9h30 en A008. La présentation sera en anglais.\nElle sera suivie d’un pot en salle club aux alentours de midi. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://famosergmbh-807.my.webex.com/famosergmbh-807.my/j.php?MTID=m73a3f97ce318919f8c0df02f6dbbb816 \n\nLe jury sera composé de :\n– Ioana Boureanu\, University of Surrey (rapporteuse)\n– Olivier Pereira\, University of Louvain (rapporteur)\n– Thomas Haines\, University of Maryland (examinateur)\n– Emmanuel Thomé\, CNRS (examinateur)\n– Elizabeth Quaglia\, University of London (examinatrice)\n– Veronique Cortier\, CNRS (directrice de thèse)\n– Alexandre Debant\, INRIA (directeur de thèse)\n– Melanie Volkamer\, Karlsruhe Institute of Technology (invitée) \nRésumé :\nLe vote par internet fait référence aux élections effectuées via\ninternet\, où les électeurs utilisent leurs propres appareils personnels\npour exprimer leur vote. Un tel système\, bien que fondamentalement\ndifférent des élections sur papier\, doit fournir les mêmes garanties de\nsécurité que les systèmes électoraux traditionnels. Cela inclut la\nvérifiabilité de l’intégrité du résultat de l’élection\, tout en\npréservant le secret de vote. Dans la première partie de la thèse\, nous\nexplorons les mécanismes de sécurité employés par l’industrie. Dans la\ndeuxième partie de la thèse\, nous proposons un nouveau mécanisme\npermettant aux électeurs de voter en toute confidentialité\, même si leur\npropre appareil est compromis. Dans la troisième partie de la thèse\,\nnous présentons un framework permettant d’obtenir des preuves formelles\nde sécurité pour des protocoles de vote sur internet. Nous avons\nappliqué avec succès le framework de preuve à plusieurs protocoles de la\nlittérature et de l’industrie\, y compris Belenios\, Swiss Post\, et notre\npropre proposition de vote par codes courts de la deuxième partie de la\nthèse.
URL:https://www.loria.fr/event/soutenance-de-these-de-florian_moser/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR