IFIP Working Group 10.4 Dependable Computing and Fault Tolerance 83rd Meeting Melbourne, Australia January 12-16, 2023

Meeting Hosts

Jiangshan Yu, Monash University, AU   Dan Kimim, University of Queensland, AU   Gernot Heiser, University of New South Wales, AU

---

Program-at-a-Glance and Contents

Workshop: The Future of Blockchains

Workshop  Coordinators

Jiangshan Yu, Monash University, AU   Paulo Verissimo, KAUST, SA   Matti Hiltunen, AT&T Labs, USA

Introduction

Day 1/Session 1 - Blockchain for Critical Infrastructure

Day 1/Session 2 - Future Applications and Regulations

Day 2/Session 3 - Dependability and Security Aspects of Blockchain

Day 2/Session 4 - Performance and Scalability Aspects of Blockchain

Day 2/Session 5 - Summary and Discussion

Research Reports

Business Meeting

---

Introduction to the Meeting

08:30 Meeting Start: Introduction to the meeting and workshop Jiangshan Yu, Monash University, AU

Day 1 - Session 1: Blockchain for Critical Infrastructure

09:00 Blockchain for Cyber-Physical Systems Salil Kanhere, University of New South Wales, AU
09:45 Blockchain and Database - A Match Made in the Cloud Anh Dinh, Deakin University, AU

Day 1 - Session 2: Future Applications and Regulations

11:15 Blockchain in Action - Data61 Blockchain R&D Shiping Chen, Data61-CSIRO, AU
12:00 Know-Your-Transactions: Crypto Compliance and Transaction Monitoring Lihong Tang, HyperLab, AU

Day 2 - Session 3: Dependability and Security Aspects of Blockchain

09:00 Securing Blockchain Systems: Codes and Human Yang Xiang, Swinburne University of Technology, AU
09:45 Blockchain Replication: The Whys and The Hows Miguel Correia, INESC-ID/IST, PT

Day 2 - Session 4: Performance and Scalability Aspects of Blockchain

11:15 Coloring Smart Contracts and Other Musings About Efficient Blockchain Execution Roy Friedman, Technion, IL
12:00 Dumbo Protocols: Making Asynchronous Consensus Real Qiang Tang, University of Sydney, AU

Day 2 - Session 5: Summary and Discussion

Day 1 - Session 1 Dan Kim, University of Queensland, AU
Day 1 - Session 2 Sushmita Ruj, University of New South Wales, AU
Day 2 - Session 3 Marcus Voelp, University of Luxembourg, LU
Day 2 - Session 4 Anh Dinh, Deakin University, AU

Research Reports

KISS: Making Dependable Operating Systems a Reality Trustworthiness: Verification-Friendly Systems Language - Pancake Gernot Heiser, University of New South Wales, AU
Midir: Towards Resilient SoCs Marcus Voelp, University of Luxembourg, LU
Analyzing the Performance of the Inter-Blockchain Communication Protocol Joao Chervinski, Monash University, AU
Transaction Allocation In Sharding Protocols Yuanzhe Zhang, Monash University, AU
Validating Autonomous Systems Ravi Iyer, University of Illinois Urbana-Champaign, US
Layer 2 scaling solutions - payment channel network for scriptless blockchain Zhimei Sui, Monash University, AU
MRVs: Enforcing Numeric Invariants in Parallel Updates to Hotspots with Randomized Splitting Jose Pereira, University of Minho, PT

Business Meeting

83rd IFIP WG 10.4 Meeting - Business Meeting Marco Vieira, University of Coimbra, PT