Vincent Laporte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
11
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants). | Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang |
| 2024 | CRYPTO | Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. | Jos Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Jean-Christophe Lchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub |
| 2023 | SP | Typing High-Speed Cryptography against Spectre v1. | Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean |
| 2022 | CCS | Enforcing Fine-grained Constant-time Policies. | Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grgoire, Vincent Laporte, Swarn Priya |
| 2021 | CCS | Structured Leakage and Applications to Cryptographic Constant-Time and Cost. | Gilles Barthe, Benjamin Grgoire, Vincent Laporte, Swarn Priya |
| 2020 | INDOCRYPT | Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira |
| 2020 | SP | The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub |
| 2019 | CCS | Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. | Jos Bacelar Almeida, Ccile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub |
| 2017 | CCS | Jasmin: High-Assurance and High-Speed Cryptography. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub |
| 2017 | CCS | A Fast and Verified Software Stack for Secure Function Evaluation. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Vitor Pereira |
| 2016 | ICFP | An abstract memory functor for verified C static analyzers. | Sandrine Blazy, Vincent Laporte, David Pichardie |
| 2015 | POPL | A Formally-Verified C Static Analyzer. | Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie |
| 2014 | ITP | Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code. | Sandrine Blazy, Vincent Laporte, David Pichardie |
| 2014 | PLDI | Atomicity refinement for verified compilation. | Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
| 2013 | POPL | Plan B: a buffered memory model for Java. | Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
| 2013 | SAS | Formal Verification of a C Value Analysis Based on Abstract Interpretation. | Sandrine Blazy, Vincent Laporte, Andr Maroneze, David Pichardie |
| 2010 | LPAR | On the Equality of Probabilistic Terms. | Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte |