Published July 20, 2024
| Version v1.0.0
Software
Open
Bythos: Compositional Verification of Composite Byzantine Protocols
- 1. National University of Singapore
-
2.
Yale-NUS College
Description
This is the research artefact for the article Compositional Verification of Composite Byzantine Protocols which has been accepted to the 31st ACM Conference on Computer and Communications Security (CCS 2024). Please see the README.md file inside the zip archive for detailed instructions.
Files
bythos.zip
Files
(643.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:2a0c7a61fd1b699178ce14ccfdb65c28
|
643.1 kB | Preview Download |