Researchers

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.