Jean Karim Zinzindohoué
Jean Karim Zinzindohoué
PhD Student at INRIA Rocquencourt
Verified email at inria.fr
Title
Cited by
Cited by
Year
A messy state of the union: Taming the composite state machines of TLS
B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
2015 IEEE Symposium on Security and Privacy, 535-552, 2015
2532015
Dependent types and multi-monadic effects in F
N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ...
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
2282016
HACL*: A verified modern cryptographic library
JK Zinzindohoué, K Bhargavan, J Protzenko, B Beurdouche
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
982017
Transcript collision attacks: Breaking authentication in TLS, IKE, and SSH
K Bhargavan, G Leurent
952016
Verified low-level programming embedded in F*
K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ...
arXiv preprint arXiv:1703.00053, 2017
832017
Implementing and proving the TLS 1.3 record layer
A Delignat-Lavaud, C Fournet, M Kohlweiss, J Protzenko, A Rastogi, ...
2017 IEEE Symposium on Security and Privacy (SP), 463-482, 2017
412017
Everest: Towards a verified, drop-in replacement of HTTPS
K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
412017
Implementing and proving the TLS 1.3 record layer
K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, J Pan, ...
312017
A verified extensible library of elliptic curves
JK Zinzindohoue, EI Bartzia, K Bhargavan
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 296-309, 2016
282016
Secure, fast and verified cryptographic applications: a scalable approach
JK Zinzindohoué
2018
Verified Low-Level Programming Embedded in F
P WANG
arXiv preprint arXiv:1703.00053, 2017
2017
A messy state of the union: taming the composite state machines of TLS
K Bhargavan, B Beurdouche, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
2017
HACL⋆, une bibliothèque cryptographique formellement vérifiée dans Firefox
B Beurdouche, JK Zinzindohoué
Extracting from F* to C: a progress report
P Wang, K Bhargavan, JK Zinzindohoué, A Anand, C Fournet, B Parno, ...
A messy state of the union
B Beurdouche, A Delignat-Lavaud, C Fournet, M Kohlweiss, A Pironti, ...
FlexTLS: des prototypes à l’exploitation de vulnérabilités dans TLS
B Beurdouche, JK Zinzindohoué
The system can't perform the operation now. Try again later.
Articles 1–16