BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230607T140000
DTEND;TZID=Europe/Paris:20230607T150000
DTSTAMP:20260509T125534
CREATED:20230524T102631Z
LAST-MODIFIED:20230524T102631Z
UID:11208-1686146400-1686150000@www.greyc.fr
SUMMARY:Vincent Botbol - Introduction to the Tezos blockchain and static analysis of smart-contracts
DESCRIPTION:In this talk\, we will give a broad introduction of the Tezos blockchain by introducing its architecture and design choices regarding safety and security in an adversarial distributed system. We will then present Tezos smart-contract language: Michelson\, a statically typed stacked-based (domain-specific) language. Lastly\, we will talk an ongoing work aiming to develop a static analyzer tool using abstract interpretation to automatically infers (numerical) invariants allowing us to formally prove numerical safety properties along with more blockchain-specific functional properties\, e.g.\, validating user authentication patterns\, analyzing the evolution of contract’s storage\, determining an upper-bound gas usage of a smart-contract\, etc. This work is integrated as an addition to a modular abstract interpretation based platform\, MOPSA\, already capable of analyzing of C and Python programs.
URL:https://www.greyc.fr/event/vincent-botbol-introduction-to-the-tezos-blockchain-and-static-analysis-of-smart-contracts/
LOCATION:Sciences 3- S3 351
CATEGORIES:Séminaire Cryptologie et sécurité
END:VEVENT
END:VCALENDAR