Sunflower

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

74th Meeting

Clervaux, Luxembourg, LU

June 28 – July 01, 2018

Previous Page

 

Meeting Host 

  Paulo Veríssimo, University of Luxembourg

 


Program-at-a-Glance and Contents

Workshop on Technological and Societal Challenges to Blockchain Dependability and Security

Workshop
Coordinators

  Paulo Veríssimo and Jiangshan Yu      (University of Luxembourg)

 

Introduction

Session 1

Session 2

Session 3

Session 4

Research Reports

Business Meeting

List of Attendees


Workshop on Technological and Societal Challenges to Blockchain Dependability and Security

June 28 – July 01 2018 (Thursday to Sunday)

June 29, 8:30 Introduction

Paulo Veríssimo

Meeting Start: Introduction to the meeting and workshop

 


9:00 Session 1 - Dependability and Security Aspects for Blockchain Consensus

Jiangshan Yu (University of Luxembourg), Introduction to Blockchain Security and Dependability Challenges: a viewpoint

.pdf icon 

Marko Vukolić, (IBM Research Zurich, Switzerland), The Fault of Defaults - Don't Let Anyone Else Make Your Security Choices

.pdf icon


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

.pdf icon

Andras Pataricza (Budapest University of Technology and Economics, Hungary), Can we trust blockchain as a public utility? - The performability aspect

.pdf icon


16:00 Session 3 - Sharding in Blockchain

Fernando Pedone (USI-Universita della Svizzera italiana, Switzerland), A simple recipe for scaling Byzantine fault tolerant systems

.pdf icon

Gregory Chockler (Royal Holloway, University of London, UK), Fast Transaction Commit in Sharded Data Stores and Blockchains

.pdf icon


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

.pdf icon

Radu STATE  (University of Luxembourg, LU)), Investigating and securing smart contracts

.pdf icon



Meeting Wrap Up

Session 1 Report/Summary

.pdf icon

Session 2 Report/Summary

.pdf icon

Session 3 Report/Summary

.pdf icon

Session 4 Report/Summary

.pdf icon

Additional notes

.pdf icon.pdf icon.pdf icon

Research Reports

Amy Babay , Johns Hopkins University,  Structured Overlay Networks for a New Generation of Internet Services

.pdf icon

Yair Amir,  Johns Hopkins University, Spread Concepts LLC,  Toward an Intrusion-Tolerant Power Grid: Challenges and Opportunities

.pdf icon

Karthik Pattabiraman, University of British Columbia, Understanding Error Propagation in Deep Learning Neural Network (DNN) Accelerators and Applications

.pdf icon

Robert Stroud, Adelard LLP, From Dependability to Security-Informed Safety, a personal perspective

.pdf icon

Zbigniew T. Kalbarczyk, University of Illinois at Urbana-Champaign,  Fault-Injection on a Haptic Rendering Algorithm in the Raven Surgical Robot

.pdf icon

Jiangshan Yu, University of Luxembourg, RepuCoin: Your reputation is your power

.pdf icon

Lorenzo Strigini, Centre for Software Reliability, City University London, U.K., An introduction to the AQUAS project

.pdf icon

Henrique Madeira, University of Coimbra, BASE - Biofeedback Augmented Software Engineering

.pdf icon

Johan Karlsson, Chalmers University of Technology,  Probabilistic Analysis of Safe and Unsafe Disagreement in Leader Election Protocols for Virtual Traffic Lights

.pdf icon

Miguel P. Correira, University of Lisboa,  BlockSimBlockchain Simulator

.pdf icon

 

Business Meeting

IFIP Working Group 10.4 business meeting

              .pdf icon

List of Attendees

Names and Contact Information

               .pdf icon