No photo of Vincent Rahli

View Scopus Profile

Vincent Rahli

Dr.

20072024

Research activity per year

Fingerprint

Dive into the research topics where Vincent Rahli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 23 Conference contribution
  • 10 Article
  • 2 Conference article

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

    Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 30 Jan 2024, (Accepted/In press) 2024 IEEE International Symposium on Parallel and Distributed Processing (IPDPS). IEEE, (International Symposium on Parallel and Distributed Processing (IPDPS)).

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

  • Inductive Continuity via Brouwer Trees

    Cohen, L., Da Rocha Paiva, B., Rahli, V. & Tosun, A., 21 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl, p. 37:1-37:16 16 p. (Leibniz International Proceedings in Informatics; vol. 272).

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

    Open Access
    File
    3 Downloads (Pure)

  • Realizing Continuity Using Stateful Computations

    Cohen, L. & Rahli, V., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl, p. 15:1-15:18 18 p. (Leibniz International Proceedings in Informatics; vol. 252).

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

    Open Access
    File
    9 Downloads (Pure)

  • Constructing unprejudiced extensional type theories with choices via modalities

    Cohen, L. & Rahli, V., 30 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Felty, A. P. (ed.). Schloss Dagstuhl, 23 p. 10. (Leibniz International Proceedings in Informatics; vol. 228).

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

    Open Access
    File
    38 Downloads (Pure)

  • Damysus: streamlined BFT consensus leveraging trusted components

    Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 28 Mar 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems: Proceedings of the Seventeenth European Conference on Computer Systems. Association for Computing Machinery (ACM), p. 1-16 16 p.

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

    Open Access
    File
    64 Downloads (Pure)
View all 35 research outputs