Program

Workshop ProgramĀ  — conference room n. 6

24th of February
9:00 – 10:30 – start of the workshop and first session

10:30 – 11:00 – coffee break

11:00 – 12:30 – second session

12:30-14:00 – lunch

 

Presentation schedule:

General modeling
9:10-9:30 Potential Risks of Hyperledger Fabric Smart Contracts
9:40-10:00 Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms
10:10-10:30 Implementing a microservices system with blockchain smart contracts
Blockchain applications
11:00-11:20 On Comparing Software Quality Metrics of Traditional vs Blockchain-Oriented Software: An Empirical Study
11:20-11:40 Alternative fundraising: Success factors for blockchain-based vs. conventional crowdfunding
11:40-12:00 Presenting Tendermint: Idiosyncrasies, Weaknesses, and Good Practices
12:00-12:20 A Privacy-Preserving E-commerce System based on the Blockchain Technology