Transforming Byzantine Faults using a Trusted Execution Environment

Mads Frederik Madsen, Mikkel Gaub, Malthe Ettrup Kirkbro, Søren Debois

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review


We present a general transformation of general omission resilient distributed algorithms into byzantine fault ones. The transformation uses the guarantees of integrity and confidentiality provided by a trusted execution environment to implement a byzantine failure detector. Correct processes in a transformed algorithm will operate as if byzantine faulty processes have crashed or their messages were dropped. The transformation adds no additional messages between processes, except for a pre-compute step, and the increase in states of the algorithm is linearly bounded: it is a 1-round, n=f+1 translation, making no assumptions of determinism.
Original languageEnglish
Title of host publication2019 15th European Dependable Computing Conference (EDCC)
Number of pages8
Publication date7 Nov 2019
ISBN (Print)978-1-7281-3930-2
ISBN (Electronic)978-1-7281-3929-6
Publication statusPublished - 7 Nov 2019


  • Byzantine faults
  • translation
  • TEE
  • TPM
  • SGX


Dive into the research topics of 'Transforming Byzantine Faults using a Trusted Execution Environment'. Together they form a unique fingerprint.

Cite this