Self-stabilizing efficient hosts in spite of Byzantine guests

Shlomi Dolev, Reuven Yagel

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


This work presents a general and complete method to protect a system against possible malicious programs. We provide concepts for building a system that can automatically recover from an arbitrary state including even one in which a Byzantine execution of one or more programs repeatedly attempts to corrupt the system state. Preservation of a guest execution is guaranteed as long as the guest respects a predefined contract, while efficiency is improved by using stabilizing reputation. We augment a provable self-stabilizing host operating system implementation with a contract-enforcement framework example.

Original languageEnglish
Pages (from-to)65-74
Number of pages10
JournalOperating Systems Review (ACM)
Issue number3
StatePublished - 1 Jul 2010


  • Byzantine programs
  • Host systems
  • Security
  • Self-stabilization
  • Trust and reputation

ASJC Scopus subject areas

  • Information Systems
  • Hardware and Architecture
  • Computer Networks and Communications

Cite this