Jean Karim Zinzindohoué

Statistics

Publications

Citations

351

H-Index

Active since

2015

Affiliations

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

Microsoft Research (United Kingdom)

State Key Laboratory of Cryptology

École nationale des ponts et chaussées

IMDEA Software Institute

Jean Karim Zinzindohoué is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, security protocols, and computing.

Publications per year

2015–2017

Publications

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 216 citations · Full text

Computing, Computer Engineering, Computer Science +17

Implementing and Proving the TLS 1.3 Record Layer

Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss et al. · 2017 · 82 citations · Full text

Computing, Computer Science, Authentication +16

A messy state of the union

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · Communications of the ACM · 2017 · 30 citations · Full text

Computing, Computer Science, Computer Systems +17

A Verified Extensible Library of Elliptic Curves

Jean Karim Zinzindohoué, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan · 2016 · 23 citations

Computing, Computer Engineering, Computer Science +17

1–4 of 4