BRAINS 2023 Program
The current program is provisional and may be subject to changes
Wednesday, October 11, 2023
09:30 – 10:00 Registration and Welcome Coffee
10:00 – 10:15 Opening Ceremony
10:15 – 11:00 Keynote #1: Blockchain Consensus Protocols, from Bitcoin to Ethereum 2.0
Speaker: Sara Tucci-Piergiovanni (CEA List, Paris-Saclay University, France)
11:00- 12:30 Technical Session #1: Fundamentals I
- Fair Reward Distribution in Federated Byzantine Agreement Systems
Charmaine Ndolo (Humboldt-Universität zu Berlin, Germany); Martin Florian (Humboldt-Universität zu Berlin & Weizenbaum Institute for the Networked Society, Germany); Florian Tschorsch (Technische Universität Berlin, Germany) - Exploring Locality in Ethereum Transactions
Matthieu Pigaglio (UCLouvain, Belgium); Michal Krol (City, University of London, United Kingdom (Great Britain)); Etienne Riviere (UCLouvain, Belgium) - Fairness Notions in DAG-based DLTs
Mayank Raikwar (University of Oslo, Norway); Nikita Polyanskii (IOTA Foundation, Germany); Sebastian Müller (Aix Marseille University, France)
12:30 – 14:00 Lunch Break
14:00 – 15:30 Technical Session #2: Fundamentals II
- Computing the Heaviest Conflict-free SUB-DAG in DAG-based DLTs
Quentin Bramas (University of Strasbourg, France) - Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis
Arian Baloochestani Asl and Leander Jehl (University of Stavanger, Norway) - Proven Transaction Flow Control for zk-Rollups
Sergio Martínez (ISAE-SUPAERO, France); Thomas Lavaur (ISAE-SUPAERO & Université Toulouse III Paul Sabatier, France); Jerome Lacan (ISAE-Supaero and University of Toulouse, France); Caroline Ponzoni Carvalho Chanel (ISAE-SUPAERO, Université de Toulouse, France) - Mining in Logarithmic Space with Variable Difficulty
Benjamin Loison (Ecole Normale Supérieure Paris-Saclay, France)
15:30 – 16:00 Coffee Break & Demo/Poster
- Scaling a Blockchain System from Eventual to Full Atomicity using Confederation approach
Fahad Rahman (University Paris Cité, France); Chafiq Titouna (Université of Gustave Eiffel, France); Farid Nait-Abdesselam (University of Missouri Kansas City, USA) - Integrating a DLT-Based Data Marketplace with IDSA for a Unified Energy Dataspace: Towards Silo-Free Energy Data Exchange within GAIA-X
Silvio Meneguzzo (University of Turin & University of Camerino, Links Foundation, Italy); Alfredo Favenza (Links Foundation, Italy); Valentina Gatteschi (Politecnico di Torino, Italy); Claudio Schifanella (Università di Torino, Italy) - Prioritised Sharding: A Novel Approach to Enhance Blockchain Scalability
Fahad Rahman (University Paris Cité, France); Chafiq Titouna (Université of Gustave Eiffel, France); Farid Nait-Abdesselam (University of Missouri Kansas City, USA) - Demonstrating Trusted Blockchain IoT Device Based On TLS-PSK Secure Element
Pascal Urien (Telecom Paris, France) - Conceptualizing Non-Fungible Tokens (NFTs) as a Means for Blockchain Network Integration in Healthcare
Ghassan Al-Sumaidaee (McGill University, Canada); Rami Alkhudary (Paris II Panthéon-Assas University, Canada); Zeljko Zilic(McGill University, Canada)
16:00 – 17:20 Technical Session #3: Security, Privacy, Attacks
- Moving Towards Open Radio Access Networks with Blockchain Technologies
Nischal Aryal (Orange Innovation, Institut Polytechnique de Paris, IMT, Telecom SudParis, France); Fariba Ghaffari (Institut Polytechnique de Paris, IRT B-COM, France); Emmanuel Bertin (Orange Labs, France); Noel Crespi (Institut Mines-Télécom, Télécom SudParis, France) - Static Application Security Testing of Consensus-Critical Code in the Cosmos Network
Jasper Surmont (KU Leuven, Belgium); Weihong Wang (KU Leuven, Belgium); Tom Van Cutsem (KU Leuven & Nokia Bell Labs, Belgium) - Cost-Efficient Anonymous Authentication Scheme based on Set-Membership Zero-Knowledge Proof
Christopher Wiraatmaja and Shoji Kasahara (Nara Institute of Science and Technology, Japan) - Enhancing Multi-label Vulnerability Detection of Smart Contract using Language Model
Sami Souihi (University of Paris-Est Créteil, France)
17:20 – 18:30 Panel
Title: Blockchain for Telecoms – Just a Hype or real Opportunity?
Moderator: Axel Küpper (TU Berlin, Germany)
18:30 – 19:45 Welcome reception
Thursday, October 12 , 2023
9:00 – 09:30 Coffee
9:30 – 10:30 Keynote #2: Creating Business Value with a Decentralized Approach
Speaker: Andreas Sommerwerk (Deutsche Telekom, Germany)
10:30 – 11:00 Coffee Break
11:00 – 12:30 Technical Session #4: Smart Contracts I
- A Transpilation-based Approach to Writing Secure Access Control Smart Contracts
Badr Bellaj (INPT- Rabat\ RAISS Laboratory & Mchain, Morocco); Aafaf Ouaddah (INPT, Morocco); Noel Crespi (Institut Mines-Télécom, Télécom SudParis, France); Abdellatif Mezrioui (National Institute of Posts and Telecommunications, Morocco); Emmanuel Bertin (Orange Labs, France) - Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain
Eric Keilty and Keerthi Nelaturu (University of Toronto, Canada); Anastasia Kastania (Athens University of Economics and Business, Greece); Andreas Veneris (University of Toronto, Canada) - Decentralized Ethereum-Based Solution for Mitigating Oracle Single Point of Failure
Julien Hatin and Valentin Andre (Orange Innovation, France) - Trusting a Smart Contract Means Trusting Its Owners: Understanding Centralization Risk
Metin Lamby, Valentin Zieglmeier and Christian Ziegler (Technical University of Munich, Germany)
12:30 – 14: 00 Lunch break
14 :00 – 15 :30 Technical Session #5: Smart Contracts II
- SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph
Qiping Wei, Fadul Sikder, Huadong Feng and Yu Lei (University of Texas at Arlington, USA); Raghu Kacker (NIST, USA); Joran Honig (ConsenSys Diligence, Germany); Richard Kuhn (National Institute of Standards and Technology, USA) - CUSC: Composable User-Centric Smart Contracts
Markus Knecht (University of Zürich & University of Applied Sciences Northwestern Switzerland, Switzerland); Burkhard Stiller (University of Zürich, Switzerland) - Who is Smarter? An Empricial Study of AI-based Smart Contract Creation
Rabimba Karanjai (University of Houston, USA); Edward Li (USA); Lei Xu (Kent State University, USA); Weidong (Larry) Shi (University of Houston, USA) - Deferral: On the Feasability of High-volume Blockchain-based Referral Systems
Bruno Rodrigues, Tobias Boner and Thomas Bocek (University of Zurich, Switzerland); Burkhard Stiller (University of Zürich, Switzerland)
15:30 – 16:00 Coffee Break & Demo/Poster
- Scaling a Blockchain System from Eventual to Full Atomicity using Confederation approach
Fahad Rahman (University Paris Cité, France); Chafiq Titouna (Université of Gustave Eiffel, France); Farid Nait-Abdesselam (University of Missouri Kansas City, USA) - Integrating a DLT-Based Data Marketplace with IDSA for a Unified Energy Dataspace: Towards Silo-Free Energy Data Exchange within GAIA-X
Silvio Meneguzzo (University of Turin & University of Camerino, Links Foundation, Italy); Alfredo Favenza (Links Foundation, Italy); Valentina Gatteschi (Politecnico di Torino, Italy); Claudio Schifanella (Università di Torino, Italy) - Prioritised Sharding: A Novel Approach to Enhance Blockchain Scalability
Fahad Rahman (University Paris Cité, France); Chafiq Titouna (Université of Gustave Eiffel, France); Farid Nait-Abdesselam (University of Missouri Kansas City, USA) - Demonstrating Trusted Blockchain IoT Device Based On TLS-PSK Secure Element
Pascal Urien (Telecom Paris, France) - Conceptualizing Non-Fungible Tokens (NFTs) as a Means for Blockchain Network Integration in Healthcare
Ghassan Al-Sumaidaee (McGill University, Canada); Rami Alkhudary (Paris II Panthéon-Assas University, Canada); Zeljko Zilic(McGill University, Canada)
16h00 – 18h00 Technical Session #6: DeFi & Cryptocurrencies
- Demystifying Just-in-Time (JIT) Liquidity Attacks on Uniswap V3
Xihan Xiong and Zhipeng Wang (Imperial College London, United Kingdom (Great Britain)); William Knottenbelt (Imperial College, United Kingdom (Great Britain)); Michael Huth (Imperial Colleague of London, United Kingdom (Great Britain)) - Deep Learning-based Cryptocurrency Price Prediction: A Comparative Analysis
Armin Mazinani, Luca Davoli and Gianluigi Ferrari (University of Parma, Italy) - Generic and Universal Local Cryptocurrency: LCoin
Frederic A Hayek (Université Clermont Auvergne & LIMOS, France); Pascal Lafourcade (LIMOS, Clermont University, France); Ariane Tichit (Université Clermont Auvergne, France) - We Are Launching our own NFT! Characterizing Fashion NFT Transactions – Preliminary Results
Sarah Bouraga (University of Namur, Belgium) - Blockchain-Enabled Car Sharing Platform: Enhancing Reliability and Vehicle History Management
Chen Ben Tolila, Yarden Hovav and Hadassa Daltrophe (Shamoon College of Engineering, Israel); Kiril Danilchenko (University of Waterloo, Israel)
19:30 – 22:00 Conference Dinner
Friday, October 13, 2023
9:00 – 09:30 Coffee
9:30 – 10:30 Keynote #3: In education, from vision to pan European public and innovative transformation
Speaker: Perrine de Coëtlogon (University of Lille, France)
10:30 – 11:00 Coffee Break
11:00 – 12 :15 Technical Session #7: Application Domains & Use Cases
- Decentralized Wireless (DeWi): which perspectives for Blockchain-based mobile networks?
Meroua Moussaoui (Orange Labs, Institut Polytechnique de Paris, IMT, Telecom SudParis, France); Emmanuel Bertin (Orange Labs, France); Noel Crespi (Institut Mines-Télécom, Télécom SudParis, France) - Blockchain-based, Privacy-preserving, First Price Sealed Bid Auction (FPSBA) Verifiable by Participants
Ehsan Ghasaei and Amirali Baniasadi (University of Victoria, Canada) - On the Blockchain Selection in Agri-Food Tracking Systems
Fabio Scanu (Sapienza – University of Rome, Italy) - Moving to IPv6-Only and Sunsetting IPv4-NAT: Empowering end to end Network Apps such as Blockchain
Latif Ladid (University of Luxembourg / IPv6 Forum, Luxembourg) - Blockchain Integration in 5G Technologies: SDN and Network Slicing
Quang Huy Do and Van Tong(Hanoi University of Science and Technology, Vietnam); Sami Souihi (University Paris Est UPEC, France); Sara Tucci-Piergiovanni(CEA LIST, University of Paris-Saclay, France)
12 :15 – 12 :45 Closing Conference
12 :45 – 14 :00 Lunch