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 → 9/07/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
  • 2 Conference contribution

  • Reliable Communication in Hybrid Authentication and Trust Models

    Chotkan, R., Cox, B., Rahli, V. & Decouchant, J., 8 Jan 2025, 28th International Conference on Principles of Distributed Systems (OPODIS 2024) . Bonomi, S., Galletta, L., Rivière, E. & Schiavoni, V. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 26 p. 25. (Leibniz International Proceedings in Informatics; vol. 324).

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

    Open Access
    File
    8 Downloads (Pure)

  • 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
    13 Downloads (Pure)