BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
BEGIN:VEVENT
UID:771@lincs.fr
DTSTART;TZID=Europe/Paris:20230510T103000
DTEND;TZID=Europe/Paris:20230510T113000
DTSTAMP:20230504T134645Z
URL:https://www.lincs.fr/events/proving-and-analysing-security-protocols-w
 ith-scyther/
SUMMARY:Proving and analysing security protocols with Scyther
DESCRIPTION:Scyther is an open source Python tool for proving and verifying
 security protocols. It offers the possibility to integrate adversaries to
 compromise protocols and to visualise the result associated with the
 corruption of these protocols. It has also been used to analyse the IKEv1
 and IKEv2 protocols [1] used in VPNs and various authentication protocols
 [2]. In this workshop we will learn how to use the tool and prove some
 protocols.\n\nWebsite: https://people.cispa.io/cas.cremers/scyther/index.h
 tml\nSource
 code: https://github.com/cascremers/scyther\n\nReferences:\n\n[1] C.
 Cremers\, Key exchange in IPsec revisited: Formal analysis of IKEv1 and
 IKEv2 in Computer Security–ESORICS 2011: 16th European Symposium on
 Research in Computer Security\, Leuven\, Belgium\, September 12-14\, 2011.
 Proceedings 16\, Springer\, 2011\, pp. 315–334. Available
 at: https://people.cispa.io/cas.cremers/downloads/papers/Cr2011-IKE.pdf [
 accessed on May 4\, 2023]\n\n[2] [1] D. Basin\, C. Cremers\, and S.
 Meier\, Provably repairing the ISO/IEC 9798 standard for entity
 authentication\, Journal of Computer Security\, vol. 21\, no. 6\, pp.
 817–846\, 2013. Available
 at: https://people.cispa.io/cas.cremers/downloads/papers/BCM2012-iso9798.p
 df [accessed on May 4\, 2023]
CATEGORIES:Tools, Tips and Tricks
LOCATION:Room 4B01\, 19 place Marguerite Perey\, Palaiseau\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=19 place Marguerite Perey\,
 Palaiseau\, France;X-APPLE-RADIUS=100;X-TITLE=Room 4B01:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20230326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR