There is a newer version of this record available.

Software Open Access

Asphalion: Trustworthy Shielding Against Byzantine Faults

Vincent Rahli; Ivana Vukotic

BibTeX Export

@software{vincent_rahli_2019_3368188,
  author       = {Vincent Rahli and
                  Ivana Vukotic},
  title        = {{Asphalion: Trustworthy Shielding Against Byzantine 
                   Faults}},
  month        = aug,
  year         = 2019,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3368188},
  url          = {https://doi.org/10.5281/zenodo.3368188}
}
69
9
views
downloads
All versions This version
Views 6949
Downloads 94
Data volume 97.7 MB40.4 MB
Unique views 6547
Unique downloads 63
More info on how stats are collected.
Indexed in
Publication date:
August 14, 2019
DOI:
10.5281/zenodo.3368188

Zenodo DOI Badge

DOI 

10.5281/zenodo.3368188

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3368188.svg)](https://doi.org/10.5281/zenodo.3368188)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3368188.svg
   :target: https://doi.org/10.5281/zenodo.3368188

HTML 

<a href="https://doi.org/10.5281/zenodo.3368188"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3368188.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3368188.svg

Target URL 

https://doi.org/10.5281/zenodo.3368188

Keyword(s):
Formal verification Distributed systems State machine replication Fault-tolerance Crash fault-tolerance Byzantine fault-tolerance Hybrid fault-tolerance MinBFT Intel SGX Trusted components Coq Compositional reasoning Knowledge calculus
License (for files):
GNU General Public License v3.0 only

Versions

Version 2 10.5281/zenodo.3368206 Aug 14, 2019
Version 1 10.5281/zenodo.3368188 Aug 14, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3368187. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export