Follow
Jean Karim Zinzindohoué
Jean Karim Zinzindohoué
PhD Student at INRIA Rocquencourt
Verified email at inria.fr
Title
Cited by
Cited by
Year
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
4572016
A messy state of the union: Taming the composite state machines of TLS
B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
Communications of the ACM 60 (2), 99-107, 2017
4022017
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
2792017
Verified low-level programming embedded in F
J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ...
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
1442017
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
1022017
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, 2017
932017
Implementing and proving the TLS 1.3 record layer
K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, J Pan, ...
SP 2017-38th IEEE Symposium on Security and Privacy, 463-482, 2017
412017
A verified extensible library of elliptic curves
JK Zinzindohoue, EI Bartzia, K Bhargavan
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 296-309, 2016
392016
Verified low-level programming embedded in F*
K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ...
arXiv preprint arXiv:1703.00053, 2017
122017
Secure, fast and verified cryptographic applications: a scalable approach
JK Zinzindohoué-Marsaudon
Université Paris sciences et lettres, 2018
22018
A messy state of the union: taming the composite state machines of TLS
K Bhargavan, B Beurdouche, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
Communications of the ACM 60 (2), 99-107, 2017
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–15