Program
9:00 Reception
9:15-9:20 Opening (Fabio + Maria)
9:20-10:00 Maurice Herlihy (Brown University) Cross-chain Deals and Adversarial Commerce
10:00-10:20 Jean-Baptiste Baraton (Banque de France) Dissection of a public blockchain in Banque de France
10:20-10:40 Petr Kouznetsov (Telecom Paris) The Consensus Number of a Cryptocurrency
10:40-11:00 Antonella del Pozzo (ex Sorbonne – CEA) Blockchain abstract data type
11:10-11:20 Coffee Break
11:20-11:40
11:40-12:00 Yannick Seurin (ANSSI) Crypto tools for Blockchains
12:00-12:20 Olivier Tridon (Veolia Nova) Veolia blockchain projects
12:20-12:40 Rie Yamaguchi (Tokyo University) Lifestyle Authentication
12:40-13:30 Lunch Buffet
13:30-13:50 Emmanuelle Anceaume (CNRS&Irisa Rennes) Sycomore
13:50-14:10 Bastien Teinturier (ACINQ) Lightning Networks
14:10-14:30 Quentin Bramas (Université de Strasbourg) IOTA
14:30-14:50 Matthieu Lattapy (CNRS/Lip6) Analysis of financial transactions with link streams
14:50-15:00 Coffee Break
15:00-15:20 Philippe Jacquet (Nokia Bell Labs) Green Mining: Toward a less energetical impact of cryptocurrencies
15:20-16:00 Antoine Herzog & Karim Ganem (IOV) BlockChain Communication Protocol
16:00-16:20 Eitan Altman (Inria) Game theoretical analysis of competition between miners
16:20-16:30 Break
16:30-16:45 Gewu Bu (SU/Lip6) G-IOTA & E-IOTA: Improvements of IOTA
16:45-17:00 Yackolley Amoussou-Guenou (SU&CEA Non cooperative games and BFT-based blockchains
17:00-17:15 Antoine Durand (IRT SystemX) Stakecube: Combining Sharding and Proof-of-Stake to build Fork-free Secure Permissionless Disistributed Ledgers
17:15-17:30 Pierre Civit (Nexeo) Polygraph
17:30-17:45 Jose Horta (Telecom Paris) Blockchain and Electrical Networks
17:45-18:00 Marianne Bellotti (CNAM&CDD&SU&Dauphine) Cooperative games for Atomic Crosschain Swaps
18:00-18:20 Nadia Filali (Caisse des dépôts) Stable Coin