Secure Enforcement for Global Process Specifications. - Jérémy Planul; Ricardo Corin; Cédric Fournet (CONCUR, 2009)

Information-flow types for homomorphic encryptions. - Cédric Fournet; Jérémy Planul; Tamara Rezk (CCS, 2011)

Compiling Information-Flow Security to Minimal Trusted Computing Bases. - Cédric Fournet; Jérémy Planul (ESOP, 2011)

Types, compilers, and cryptography for secure distributed programming. (Typage, compilation, et cryptographie pour la programmation repartie securisée). - Jérémy Planul (2012)

Oblivious Program Execution and Path-Sensitive Non-interference. - Jérémy Planul; John C. Mitchell (CSF, 2013)

On Layout Randomization for Arrays and Functions. - Martín Abadi; Jérémy Planul (POST, 2013)

Layout Randomization and Nondeterminism. - Martín Abadi; Jérémy Planul; Gordon D. Plotkin (MFPS, 2013)

Privacy-Preserving Shortest Path Computation. - David J. Wu 001; Joe Zimmerman; Jérémy Planul; John C. Mitchell (NDSS, 2016)