Julien Cretin

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Topics

Protection Schemes

Digital Signature

Intrusion Detection

Top Venues

IACR Cryptol. ePrint Arch.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Diana Ghinea, Fabian Kaczmarczyck, Jennifer Pullman, Julien Cretin, Stefan Kölbl, Rafael Misoczki, Jean Michel Picod, Luca Invernizzi, Elie Bursztein
Hybrid Post-quantum Signatures in Hardware Security Keys. ACNS Workshops (2023)
Diana Ghinea, Fabian Kaczmarczyck, Jennifer Pullman, Julien Cretin, Stefan Kölbl, Rafael Misoczki, Jean Michel Picod, Luca Invernizzi, Elie Bursztein
Hybrid Post-Quantum Signatures in Hardware Security Keys. IACR Cryptol. ePrint Arch. 2022 (2022)
Julien Cretin, Didier Rémy
System F with coercion constraints. CSL-LICS (2014)
Julien Cretin, Didier Rémy
On the power of coercion abstraction. POPL (2012)
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
Giving Haskell a promotion. TLDI (2012)
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce
Matching lenses: alignment and view update. ICFP (2010)