1st International Workshop on
Dependable and Secure Web3, Blockchain and Smart Contracts
Co-located with the 20th European Dependable Computing Conference (EDCC 2025)
The Dependable and Secure Web3, Blockchain and Smart Contracts Workshop (DepWeb3) is motivated by the transformative impact of blockchain technology, also known as Distributed Ledger Technology (DLT), and Web 3 on global economy. Blockchain is crucial for digital transition, with an estimated 10% of global GDP stored in blockchains by 2027 and an additional $3 trillion in trade by 2030. This workshop aims to explore Web3/Blockchain fundamentals, including the dependability and security of such infrastructures, cross-chain interoperability, smart contracts, and various use cases including finance, Internet of Things, supply chain management, and public sector applications. The workshop will foster academic and industry discussions on these topics, enhancing transparency, security, and trust. With active participation from the blockchain community and ongoing European initiatives, this workshop will significantly contribute to the EDCC community.
Topics
- Fundamentals of Web3, Blockchain and Smart Contracts:
- Dependability and security
- Consensus algorithms, including domain-specific algorithms
- Decentralization, scalability, performance and security trade-offs
- Data storage and availability
- Self-sovereign identity, decentralized identifiers, verifiable credentials and protocols
- Blockchain Interoperability and Cross-Chain Mechanisms:
- Algorithms for technical, semantic, and organizational interoperability
- Multi-chain and cross-chain applications
- Cross-chain bridges
- Design and architecture of cross-chain solutions
- Vulnerabilities, attacks, and mitigations in cross-chain mechanisms
- Security and privacy in cross-chain mechanisms
- Smart Contracts:
- Dependability, security, privacy, attacks
- Monitoring and analysis of transactions
- Collaboration between on-chain and off-chain code
- Token economy, incentives, and protocols
- Fungible tokens, non-fungible tokens (NFTs), and protocols
- Blockchain as a service
- Use Cases:
- Identity management
- Finance, payments, fraud detection and prevention
- Decentralized Finance (DeFi) and payments
- Internet of Things and Cyber-Physical Systems
- Smart grids and Industry 4.0
- Supply chain management
- Blockchain in the agricultural sector
- Network, edge, and cloud technologies
- Blockchain and artificial intelligence
- Blockchain solutions and infrastructure for the public sector
- Blockchain for education and health
- Blockchain for business process management
- Blockchain for the metaverse and digital twins
- Blockchain Regulation
- Outcomes of large collaborative projects on the mentioned topics
The DepWeb3 workshop is very relevant to the EDCC community because it addresses key aspects of dependability and security in computing systems. Blockchain technology, with its transparency, immutability, and decentralization, aligns with the conference’s focus on secure and reliable systems. Additionally, there is also significant alignment in use cases.
Participants of the workshop will benefit from attending EDCC to broaden their perspective on dependable computing, and the workshop will attract new members to the conference community, especially blockchain researchers and practitioners.
Submissions
Submission deadline: Jan 10, 2025.
Author notification: Jan 31, 2025.
Papers will be selected through a double-blind peer-review process conducted by or delegated by members of the Technical Program Committee (TPC).
Submitted papers must be written in English and follow the IEEE two-column format.
Contribution formats (short/regular paper) will be announced soon.
Papers will also be promoted in the context of the projects that support the workshop, namely, Blockchain.PT – Decentralize Portugal with Blockchain Agenda (blockchain.pt) and BIG - Enhancing the research and innovation potential of Técnico through Blockchain technologies and design Innovation for social Good (bigerachair.tecnico.ulisboa.pt).
Technical Program Committee (TPC)
(In alphabetical order.)
Member | Affiliation |
---|---|
Alysson Bessani | Faculdade de Ciências, Universidade de Lisboa |
Catarina Ferreira da Silva | ISCTE |
Catarina Reis | VOID Labs - VOID Software |
Filip Rezabek | Technical University of Munich |
Günther Pernul | Universität Regensburg |
Joaquim Ferreira | Instituto de Telecomunicações, Universidade de Aveiro |
Luís Caires | Instituto Superior Técnico, Universidade de Lisboa |
Luyao Zhang | Duke Kunshan University |
Miguel Correia | INESC-ID, Instituto Superior Técnico, Universidade de Lisboa |
Rüdiger Kapitza | Friedrich-Alexander-Universität Erlangen-Nürnberg |
Sonia Ben Mokhtar | LIRIS CNRS |
Tobias Distler | Friedrich-Alexander-Universität Erlangen-Nürnberg |
Vincent Gramoli | University of Sydney and EPFL |
Organizers
Organizer | Affiliation |
---|---|
André Vasconcelos | INESC-ID, Instituto Superior Técnico, Universidade de Lisboa |
Rafael Belchior | INESC-ID, Instituto Superior Técnico, Universidade de Lisboa |
Miguel L. Pardal | INESC-ID, Instituto Superior Técnico, Universidade de Lisboa |
Contact
agendablockchain+depweb3 [AT] tecnico.ulisboa.pt