Jean Karim Zinzindohoue

According to our database1, Jean Karim Zinzindohoue authored at least 8 papers between 2016 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Verified low-level programming embedded in F.
Proc. ACM Program. Lang., 2017

HACL*: A Verified Modern Cryptographic Library.
IACR Cryptol. ePrint Arch., 2017

Verified Low-Level Programming Embedded in F<sup>*</sup>.
CoRR, 2017

A messy state of the union: taming the composite state machines of TLS.
Commun. ACM, 2017


2016
Implementing and Proving the TLS 1.3 Record Layer.
IACR Cryptol. ePrint Arch., 2016

Dependent types and multi-monadic effects in F.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A Verified Extensible Library of Elliptic Curves.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016


  Loading...