Jiangshan Yu (University of Luxembourg), Introduction to Blockchain Security and Dependability Challenges: a viewpoint
Marko Vukolić, (IBM Research Zurich, Switzerland), The Fault of Defaults - Don't Let Anyone Else Make Your Security Choices

11:15 Session 2 - Performance and Scalability Aspects of Blockchain

Vincent Gramoli (University of Sydney and Data61-CSIRO, Australia), The Red Belly Blockchain: Consistency and Scalability
Andras Pataricza (Budapest University of Technology and Economics, Hungary), Can we trust blockchain as a public utility? - The performability aspect

16:00 Session 3 - Sharding in Blockchain

Fernando Pedone (USI-Universita della Svizzera italiana, Switzerland), A simple recipe for scaling Byzantine fault tolerant systems
Gregory Chockler (Royal Holloway, University of London, UK), Fast Transaction Commit in Sharded Data Stores and Blockchains

June 30 9:00 Session 4 - Experience with Deployed Blockchain

Alysson Bessani (Universidade de Lisboa, Portugal), Experiences with BFT-SMaRt as a consensus substrate of Permissioned Ledgers
Radu STATE (University of Luxembourg, LU)), Investigating and securing smart contracts

Meeting Wrap Up

Amy Babay , Johns Hopkins University, Structured Overlay Networks for a New Generation of Internet Services
Yair Amir, Johns Hopkins University, Spread Concepts LLC, Toward an Intrusion-Tolerant Power Grid: Challenges and Opportunities
Karthik Pattabiraman, University of British Columbia, Understanding Error Propagation in Deep Learning Neural Network (DNN) Accelerators and Applications
Robert Stroud, Adelard LLP, From Dependability to Security-Informed Safety, a personal perspective
Zbigniew T. Kalbarczyk, University of Illinois at Urbana-Champaign, Fault-Injection on a Haptic Rendering Algorithm in the Raven Surgical Robot
Jiangshan Yu, University of Luxembourg, RepuCoin: Your reputation is your power
Lorenzo Strigini, Centre for Software Reliability, City University London, U.K., An introduction to the AQUAS project
Henrique Madeira, University of Coimbra, BASE - Biofeedback Augmented Software Engineering
Johan Karlsson, Chalmers University of Technology, Probabilistic Analysis of Safe and Unsafe Disagreement in Leader Election Protocols for Virtual Traffic Lights
Miguel P. Correira, University of Lisboa, BlockSim–Blockchain Simulator

Business Meeting

IFIP Working Group 10.4 business meeting

List of Attendees

Names and Contact Information

IFIP Working Group 10.4 Dependable Computing and Fault Tolerance