There is a newer version of the record available.

Published August 14, 2019 | Version v1
Software Open

Asphalion: Trustworthy Shielding Against Byzantine Faults

  • 1. University of Birmingham
  • 2. SnT, University of Luxembourg


Asphalion is a Coq-based framework for verifying the correctness of
implementations of fault-tolerant systems. It especially provides
features to verify the correctness of hybrid fault-tolerant systems
(such as the MinBFT protocol, where
normal components (that can for example fail arbitrarily) trust some
special components (that can for example only crash on failure) to
provide properties in a trustworthy manner.  Asphalion allows running
such trusted-trustworthy components inside Intel SGX enclaves.
More details are provided here:



Files (10.1 MB)

Name Size Download all
10.1 MB Download