International Workshop on Blockchains and Smart Contracts (BSC)

The International Workshop on Blockchains and Smart Contracts (BSC), organized by Elyes Ben Hamida (BST project) within the framework of the “IFIP International Conference on New Technologies, Mobility and Security (IFIP NTMS)”, will take place from 26 to 28 February, 2018, in Paris.


Workshop introduction

Blockchain has recently emerged as a disruptive technology that may revolutionize the world economy and our societies, with applications in key industries including finance, insurance, energy, mobility, healthcare and logistics. A blockchain is typically a decentralized, trustless and continuously growing ledger that is used to record and keep track of every transactions across a peer-to- peer network of participants.
The objective of this workshop is to bring together experts from various domains to explore the current state of the art of blockchains and its related challenges, and to discuss new ideas and innovations to design scalable and robust blockchain solutions that are technically, economically and legally viable.
The workshop invites both academic researchers and industry practitioners to submit original and previously unpublished contributions covering the theoretical and practical aspects of the blockchain technology, smart contracts and their applications. Accepted and presented papers will be published in the conference proceedings.



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)

Find out more: