Jérémy Planul

Jérémy Planul
MSR-INRIA joint centre
Parc Orsay Université,
28 rue Jean Rostand,
91893 Orsay Cedex, France
+33.(0)1.69.35.69.82
jeremy dot planul @t inria dot fr

I just finished my Thesis under the direction of Cédric Fournet and Jean-Jacques Lévy.
I am now a a postdoctoral researcher at the Stanford Security Laboratory, in John Mitchell's team.
I am interested in programming languages, security, and distributed systems.
My PhD research focuses on information flow, models of cryptographic primitives and
secure hardware instructions (including TPMs), defensive program transformations
(exploiting the secure hardware) and secure parallel multiparty sessions.

Publications

Information-Flow Types for Homomorphic Encryptions
with Cédric Fournet and Tamara Rezk, to appear in
18th ACM Conference on Computer and Communications Security (CCS'11). October 2011.
Compiling Information-Flow Security to Minimal Trusted Computing Bases
with Cédric Fournet, in
20th European Symposium on Programming (ESOP'11),
Springer, pages 216--235. March 2011.
Secure enforcement for global process specifications
with Ricardo Corin and Cédric Fournet, in
20th International Conference on Concurrency Theory (CONCUR'09),
LNCS 5710, pages 511--526. September 2009.

See also the Secure Distributed Computations project pages on
Cryptographic Implementations of Information-Flow Security and my CV.