Accepted Papers

• Detecting Smart Contract Vulnerabilities using Transformers and LLMs

Stefano Ferretti, Gabriele D'Angelo, Vittorio Ghini and Marco Tomassone

• ImageBox: Small-Scale Blockchain-Aided Trusted Machine Learning Inference

Lennart Almstedt, Leander Jehl and Lars Wolf

• Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker

Luigi Bellomarini, Marco Favorito and Giuseppe Galano

• Disassortative dynamic BA models inspired by the Bitcoin Lightning Network

Taki Eddine Abedesselam, Fabio Giacomelli and Francesco Pasquale

• Privacy Preserving eIDAS Compliance in Blockchain Wallets via zkVM

Paolo Moser, Marco Esposito, Francesco Bruschi and Donatella Sciuto

• A Preliminary Approach for Translating ODRL to Smart Policies

Stefano Bistarelli, Chiara Luchini and Francesco Santini

• Flexible Edge Processing in Blockchain-based Secure IoT Data Distribution Framework

Kenta Kawai, Yuxiao Wu, Yutaka Matsubara and Hiroaki Takada

• SSI policies implementing Terms of Use to control VC disclosure

Stefano Bistarelli, Chiara Luchini and Francesco Santini

Workshop program

This year edition of the workshop will offer no online participation, as per PerCom guidelines. The full day workshop will take place the 21st of March 2025. Each paper presentation will last 20 minutes, including both presentation (15 minutes) and discussion.

• Registration

  • 8:00-8:30

• First session

  • 8:30-10:00

  • Chair: Damiano Di Francesco Maesa, University of Pisa, Italy

  • Oral presentations - Blockchain models

    • ImageBox: Small-Scale Blockchain-Aided Trusted Machine Learning Inference

Lennart Almstedt, Leander Jehl and Lars Wolf

• • • Detecting Smart Contract Vulnerabilities using Transformers and LLMs

Stefano Ferretti, Gabriele D'Angelo, Vittorio Ghini and Marco Tomassone

• • • Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker

Luigi Bellomarini, Marco Favorito and Giuseppe Galano

• • • Disassortative dynamic BA models inspired by the Bitcoin Lightning Network

Taki Eddine Abedesselam, Fabio Giacomelli and Francesco Pasquale

• Coffe break

  • 10:00-10:30

• Second session

  • 10:30-12:00

  • Chair: Damiano Di Francesco Maesa, University of Pisa, Italy

  • Keynote and Workshop opening

  • Workshop opening and welcome from the chairs

Damiano Di Francesco Maesa, Laura Ricci

• • Keynote - Trust in Self-Sovereign Identity: Balancing Privacy, Accountability, and Usability

Helen Paik, University of New South Wales in Sidney (Australia)

• Lunch

  • 12:00-13:30

• Third session

  • 13:30-15:00

  • Chair: Laura Ricci, University of Pisa, Italy

  • Oral presentations - Blockchain applications

    • SSI policies implementing Terms of Use to control VC disclosure

Stefano Bistarelli, Chiara Luchini and Francesco Santini

• • • Privacy Preserving eIDAS Compliance in Blockchain Wallets via zkVM

Paolo Moser, Marco Esposito, Francesco Bruschi and Donatella Sciuto

• • • Flexible Edge Processing in Blockchain-based Secure IoT Data Distribution Framework

Kenta Kawai, Yuxiao Wu, Yutaka Matsubara and Hiroaki Takada

• • • A Preliminary Approach for Translating ODRL to Smart Policies

Stefano Bistarelli, Chiara Luchini and Francesco Santini

• Coffe break

  • 15:00-15:30

• Fourth session

  • 15:30-16:30

  • Chair: TBA

    • Tutorial session and Workshop closing

    • Tutorial - AWESOME: Analysis framework for WEb3 SOcial MEdia

Laura Ricci, University of Pisa (Italy)

• • • Workshop closing

Damiano Di Francesco Maesa, Laura Ricci

Workshop pictures

At this link (restricted to participants only) you can find the pictures taken during the workshop: BRAIN_2025_pictures