Vincent Laporte

Statistics

Publications

Citations

551

H-Index

Active since

2013

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

INESC TEC

IMDEA Software Institute

Universidade do Porto

Vincent Laporte is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and computer engineering.

ORCID

Publications per year

2013–2023

Publications

A Formally-Verified C Static Analyzer

Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy et al. · 2014 · 122 citations · Full text

Computing, Computer Engineering, Computer Science +17

Jasmin

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · 2017 · 103 citations · Full text

Computing, Computer Engineering, Computer Science +15

Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”

Gilles Barthe, Benjamin Grégoire, Vincent Laporte · 2018 · 97 citations · Full text

Computing, Computer Engineering, Computer Science +15

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

Manuel Barbosa, Vincent Laporte · arXiv (Cornell University) · 2019 · 43 citations · Full text

Computing, Computer Engineering, Computer Science +14

Machine-Checked Proofs for Cryptographic Standards

José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa et al. · 2019 · 29 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 13