Jérémy Planul

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Privacy Preserving

Horizontally Partitioned

Cf Loadingtexthtml

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

David J. Wu, Joe Zimmerman, Jérémy Planul, John C. Mitchell
Privacy-Preserving Shortest Path Computation. CoRR (2016)
David J. Wu, Joe Zimmerman, Jérémy Planul, John C. Mitchell
Privacy-Preserving Shortest Path Computation. NDSS (2016)
Martín Abadi, Jérémy Planul, Gordon D. Plotkin
Layout Randomization and Nondeterminism. Horizons of the Mind (2014)
Martín Abadi, Jérémy Planul
On Layout Randomization for Arrays and Functions. POST (2013)
Jérémy Planul, John C. Mitchell
Oblivious Program Execution and Path-Sensitive Non-interference. CSF (2013)
Martín Abadi, Jérémy Planul, Gordon D. Plotkin
Layout Randomization and Nondeterminism. MFPS (2013)
Cédric Fournet, Jérémy Planul
Compiling Information-Flow Security to Minimal Trusted Computing Bases. ESOP (2011)
Cédric Fournet, Jérémy Planul, Tamara Rezk
Information-flow types for homomorphic encryptions. CCS (2011)
Jérémy Planul, Ricardo Corin, Cédric Fournet
Secure Enforcement for Global Process Specifications. CONCUR (2009)