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:20260526T181355
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
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230621T140000
DTEND;TZID=Europe/Paris:20230621T150000
DTSTAMP:20260526T181355
CREATED:20230619T112136Z
LAST-MODIFIED:20230619T112136Z
UID:11219-1687356000-1687359600@www.greyc.fr
SUMMARY:Amin Sakzad - FPPW: A Fair and Privacy-Preserving Watchtower For Bitcoin
DESCRIPTION:In this talk\, I will introduce FPPW\, a new payment channel with watchtower scheme for Bitcoin. This new scheme provides fairness with respect to all channel participants including both channel parties and the watchtower. The watchtower in FPPW learns no information about the off-chain transactions and hence the channel balance privacy is preserved. As a byproduct\, we also define the coverage of a watchtower scheme\, that is the total capacity of channels that a watchtower can cover on a scale of 0 to 1\, and show that FPPW’s coverage is higher than those of PISA and Cerberus. If time allows\, I will discuss two other watchtowers Garrison and Daric with various other properties and try to formalise the definitions of payment channels and watchtowers.
URL:https://www.greyc.fr/event/amin-sakzad-fppw-a-fair-and-privacy-preserving-watchtower-for-bitcoin/
LOCATION:Sciences 3- S3 351
CATEGORIES:Séminaire Cryptologie et sécurité
END:VEVENT
END:VCALENDAR