More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Christophe Léchenet

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tches/OlmosBGGLLOS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tches/OlmosBGGLLOS24
Santiago Arranz Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe:
High-assurance zeroization. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(1): 375-397 (2024)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/crypto/AlmeidaOBBDGLLLOPQSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crypto/AlmeidaOBBDGLLLOPQSS24
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) 2024: 384-421
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaOBBDGLLLOPQSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaOBBDGLLLOPQSS24
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. IACR Cryptol. ePrint Arch. 2024: 843 (2024)
2023
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tches/AlmeidaBBGLL00Q23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tches/AlmeidaBBGLL00Q23
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
Formally verifying Kyber Episode IV: Implementation correctness. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023(3): 164-193 (2023)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LechenetKG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LechenetKG23
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Efficient computation of arbitrary control dependencies. Theor. Comput. Sci. 969: 114029 (2023)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/GregoireLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/GregoireLT23
Benjamin Grégoire, Jean-Christophe Léchenet, Enrico Tassi:
Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi. CPP 2023: 167-181
[i3]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AlmeidaBBGLLOPQSSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AlmeidaBBGLLOPQSSS23
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
Formally verifying Kyber Part I: Implementation Correctness. IACR Cryptol. ePrint Arch. 2023: 215 (2023)
[i2]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/OlmosBGGLLOS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/OlmosBGGLLOS23
Santiago Arranz Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe:
High-assurance zeroization. IACR Cryptol. ePrint Arch. 2023: 1713 (2023)
2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-01414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-01414
Frédéric Magoulès, Abal-Kassim Cheik Ahamed, Alban Desmaison, Jean-Christophe Léchenet, François Mayer, Haifa Ben Salem, Thomas Zhu:
Power Consumption Analysis of Parallel Algorithms on GPUs. CoRR abs/2110.01414 (2021)
2020
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/LechenetBP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LechenetBP20
Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie:
A Fast Verified Liveness Analysis in SSA Form. IJCAR (2) 2020: 324-340

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Lechenet18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Lechenet18
Jean-Christophe Léchenet:
Certified algorithms for program slicing. (Algorithmes certifiés pour la simplification syntaxique de programmes). University of Paris-Saclay, France, 2018
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LechenetKG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LechenetKG18
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Cut branches before looking for bugs: certifiably sound verification on relaxed slices. Formal Aspects Comput. 30(1): 107-131 (2018)
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LechenetKG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LechenetKG18
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Fast Computation of Arbitrary Control Dependencies. FASE 2018: 207-224
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LechenetKG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LechenetKG16
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. FASE 2016: 179-196
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/MagoulesADLMSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/MagoulesADLMSZ14
Frédéric Magoulès, Abal-Kassim Cheik Ahamed, Alban Desmaison, Jean-Christophe Léchenet, François Mayer, Haifa Ben Salem, Thomas Zhu:
Power Consumption Analysis of Parallel Algorithms on GPUs. HPCC/CSS/ICESS 2014: 304-311

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.