BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
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:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20210201T140000
DTEND;TZID=Europe/Paris:20210201T160000
DTSTAMP:20210118T085751Z
CREATED:20210118T085751Z
LAST-MODIFIED:20210118T085751Z
UID:11494-1612188000-1612195200@www.loria.fr
SUMMARY:PhD defense: Itsaka Rakotonirina
DESCRIPTION:Itsaka Rakotonirina\, PhD student in the Pesto Team\, will defend his thesis on Monday\, February 1st at 2pm. \n \nTitle: Symbolic verification of cryptographic protocols\, theory and practice \nThe defence will be english. You can also find his dissertation here. \nAbstract: \nThis thesis studies the analysis of cryptographic protocols. They are sequences of instructions permitting to interact with a recipient remotely while protecting the sensitive content of the communication from a potential malicious third party. Classical cases where the confidentiality and the integrity of the communication are critical are\, among others\, online payments and medical-service booking\, or electronic voting. \nWe study notions of security defined technically by observational equivalences (which includes among others confidentiality\, anonymity or non-traceability). We designed a program\, DeepSec\, which\, from the description of a protocol for a fixed number of participants\, verifies in a fully-automated way whether the protocol offers a security guarantee of this type. We demonstrate the ability of this tool to analyse complex attack scenarios through several examples\, optimisations\, and a detailed study of the complexity of the underlying problem. \nJury: \nDavid Basin (ETH Zurich) – reviewer\, president \nTamara Rezk (Inria Sophia Antipolis) – reviewer \nMyrto Arapinis (University of Edinburgh) \nVincent Cheval (Inria Nancy) – co-advisor \nThomas Jensen (Inria Rennes) \nSteve Kremer (Inria Nancy) – advisor \n\n\n\nCatuscia Palamidessi (Inria Saclay)
URL:https://www.loria.fr/event/phd-defense-itsaka-rakotonirina/
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR