Le workshop « Blockchains and Smart Contracts (BSC) », organisé par Elyes Ben Hamida (projet BST) dans le cadre de la conférence Internationale « IFIP International Conference on New Technologies, Mobility and Security (IFIP NTMS) », se tiendra du 26 au 28 février 2018 à Paris.

Présentation du workshop

La Blockchain est probablement amenée à révolutionner l’économie mondiale et nos sociétés, avec des applications dans des industries clefs : les finances, l’assurance, l’énergie, la mobilité, la santé et la logistique.
L’objectif de ce workshop est de rassembler des experts de différents domaines pour explorer l’état de l’art actuel de la Blockchain et ses défis, et pour discuter de nouvelles idées et innovations afin concevoir des solutions de Blockchain évolutives et robustes, techniquement, économiquement et juridiquement viables.
Ce workshop invite les chercheurs universitaires et les praticiens de l’industrie à soumettre des contributions originales et inédites couvrant les aspects théoriques et pratiques de la technologie Blockchain, des contrats intelligents et de leurs applications. Les documents acceptés et présentés seront publiés dans les actes de la conférence.

Programme

09:00 – 10:30 > BSC1: Data Analytics & Cryptocurrency

Room B

Chair: Elyes Ben Hamida (IRT SystemX, France)

Quantitative Description of Internal Activity on the Ethereum Public Block – Andra Anoaica (IRT SystemX, France), Hugo Levard (SQLI, France)

In-store payments using Bitcoin – Mikael Asplund, Jakob Lövhall and Simin Nadjm-Tehrani (Linköping University, Sweden)

Small Transactions with Sustainable Incentives – Fabio Pianese (Nokia Bell Labs, France), Matteo Signorini (Nokia Bell Labs Paris, France), Souradip Sarkar (Bell Labs @ Nokia, Belgium)

10:30 – 11:00 > Coffee Break

11:00 – 12:30 > BSC2: Smart Contracts

Room B

Chair: Kalpana Singh (IRT SystemX & CEA, France)

Lessons Learned from Implementing a Privacy-Preserving Smart Contract in Ethereum – Andreas Unterweger, Fabian Knirsch, Christoph Leixnering and Dominik Engel (Salzburg University of Applied Sciences, Austria)

Security Assurance for Smart Contract – Ence Zhou, Song Hua, Bingfeng Pi and Jun Sun (Fujitsu Research & Development Center, P.R. China), Yashihide Nomura, Kazuhiro Yamashita and Hidetoshi Kurihara (Fujitsu Laboratories Ltd., Japan)

Formal verification of smart contracts based on users and blockchain behaviors models – Tesnim Abdellatif (EDF, France), Kei-Léo Brousmiche (IRT SystemX, France)

Recycling Smart Contracts: Compression of the Ethereum Blockchain – Beltran Fiz Pontiveros (University of Luxembourg & Telindus Luxembourg, Luxembourg), Robert Norvill and Radu State (University of Luxembourg, Luxembourg) 

12:30 – 14:00 > Lunch

14:00 – 15:30 > BSC3: Architecture & Technologies

Room B

Chair: Nouha Omrane (Docapost, France)

Empowering Light Nodes in Blockchains with Block Summarization – Asutosh Palai, Meet Vora and Aashaka Shah (Indian Institute of Technology Roorkee, India)

Smart-Contract based System Operations for Permissioned Blockchain – Tatsuya Sato and Yosuke Himura (Hitachi, Ltd., Japan)

Evaluating Blockchains for IoT – Runchao Han (University of Manchester, United Kingdom (Great Britain)), Vincent Gramoli (University of Sydney & Data61-CSIRO, Australia), Xiwei Xu (Data61-CSIRO & UNSW, Australia)

AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things – Joshua Ellul and Gordon Pace (University of Malta, Malta)

15:30 – 16:00 > Coffee Break

16:00 – 18:00 > BSC4: Applications

Room B

Chair: Eric Thea (IRT SystemX, France)

Digitizing, Securing and Sharing Vehicles Life-cycle Over a Consortium Blockchain: Lessons Learned – Kei-Léo Brousmiche (IRT SystemX, France), Thomas Heno (PSA Group, France), Christian Poulain (PSA Goup, France), Antoine Dalmieres (Covea, France), Elyes Ben Hamida (IRT SystemX, France)

Efficient Distributed Admission and Revocation using Blockchain for Cooperative ITS – Noureddine Lasla (Qatar Mobility Innovations Center (QMIC), Qatar), Mohamed Younis (University of Maryland Baltimore County, USA), Wassim Znaidi (Qatar University, France), Dhafer Ben Arbia (Qatar Mobility Innovations Center & SERCOM Lab, Polytechnic School of Tunisia, University of Carthage- Tunisia, Qatar)

A Blockchain Framework for Insurance Processes – Mayank Raikwar (Nanyang Technological University, Singapore), Subhra Mazumdar (Indian Statistical Institute, India), Sushmita Ruj (Indian Statistical Institute, Kolkata, India), Sourav Sen Gupta (Indian Statistical Institute, India), Anupam Chattopadhyay and Kwok-Yan Lam (Nanyang Technological University, Singapore)

NFB: A Protocol for Notarizing Files over the Blockchain – Haikel Magrahi (Paris 8 University, France), Nouha Omrane and Olivier Senot (Docapost, France), Rakia Jaziri (Paris 8 University – LIASD – France, France)

Pour aller plus loin :

 

 

- ABONNEMENT NEWSLETTER

Inscrivez-vous à la newsletter de l'IRT SystemX

et recevez chaque mois les dernières actualités de l'institut :