Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems

Project Details

Short titleDesign and Verification of Time-Critical Byzantine Fault-Tolerant Systems
StatusActive
Effective start/end date1/04/23 → 31/03/26

Funding

  • Engineering & Physical Science Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 1 Conference contribution

  • OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments

    Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 8 Jul 2024, 2024 IEEE International Symposium on Parallel and Distributed Processing (IPDPS). IEEE, p. 1022-1033 (International Symposium on Parallel and Distributed Processing (IPDPS)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Downloads (Pure)