5th Conference on Blockchain Research & Applications for Innovative Networks and Services

BRAINS 2023

October 11-13, 2023
Paris, France (In-Person)

  • Technical Sponsors

     

  • Patrons

     

  • Important dates

    • Paper Submission Due
      June 18, 2023 (Extended)
    • Notification of Acceptance
      July 31, 2023
    • Camera-Ready Papers due
      August 7, 2023
    • Conference Date
      October 11-13, 2023
  • Submissions

  • Organized by

  • Previous Conferences

  • Follow us

BRAINS 2023 Program

Download BRAINS program PDF

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

  • Technical Sponsors

     

  • Patrons

     

  • Important dates

    • Paper Submission Due
      June 18, 2023 (Extended)
    • Notification of Acceptance
      July 31, 2023
    • Camera-Ready Papers due
      August 7, 2023
    • Conference Date
      October 11-13, 2023
  • Submissions

  • Organized by

  • Previous Conferences

  • Follow us