Skip to main navigation Skip to search Skip to main content
No photo of Vincent Rahli

View Scopus Profile

Vincent Rahli

Dr.

20072026

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
  • 28 Conference contribution
  • 10 Article
  • 2 Conference article

  • Pallas and Aegis: Rollback Resilience in TEE-Aided Blockchain Consensus

    Decouchant, J., Kozhaya, D., Rahli, V. & Yu, J., 2026, Network and Distributed System Security (NDSS) Symposium 2026. The Internet Society, p. 1-17 17 p.

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

    Open Access

  • TPTL-DIST: A Calculus for Verifying Real-Time Distributed Systems

    Enríquez Mendoza, J., Speight, S. & Rahli, V., 12 Jun 2026, Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8–12, 2026, Proceedings. Bocchi, L. & Kulahcioglu Ozkan, B. (eds.). 1st ed. Cham: Springer, Cham, p. 197-223 27 p. (Lecture Notes in Computer Science; vol. 16589).

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

    Open Access
    File
    6 Downloads (Pure)

  • Internal Effectful Forcing in System T

    Escardo, M. H., Da Rocha Paiva, B., Rahli, V. & Tosun, A., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Fernandez, M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 17 p. 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).

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

    Open Access
    File

  • 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
    15 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
    127 Downloads (Pure)
View all 40 research outputs