Self-stabilizing Byzantine Fault-Tolerant Distributed Algorithms for Integrated Circuits

Project homepage

The ultimate goal of SIC (Self-stabilizing Byzantine Fault-Tolerant Distributed Algorithms for Integrated Circuits) is to develop the foundations of a framework for the rigorous modeling and analysis of Byzantine fault-tolerant self-stabilizing distributed algorithms for VLSI circuits.

Project duration: 2013-2017

Project head: Matthias Függer

Supported by the Austrian Science Fund (FWF) under project number P26436 fwf.giffonds.gif