| about | publications | projects | blog | github | gitstar | twitter |

Deian Stefan

about me

My name is Deian Stefan. I am a fourth year Ph.D. student in the Computer Science Dept. at Stanford University, where I work on building and breaking security systems. My research homes are the Secure Computer Systems Lab, where I am advised by "Prof." David Mazières and the Security Lab, where I am advised by Prof. John C. Mitchell.

Prior to Stanford I obtained a B.E. and M.E. in Electrical Engineering at Cooper Union, where I focused on applying GPUs and FPGAs to speeding up cryptographic and cryptanalysis algorithms.

research interests

Broadly, my research interests include Operating Systems and Programming Languages, with a focus on Security. Currently, I am working on language- and library-based approaches to decentralized information flow control (DIFC) and secure computation (primarily in Haskell). I am working on the Hails project, where we are building a secure, DIFC-based, Haskell web framework, and the PROCEED project, where we are developing a language for programming on encrypted data, with the goal of eliminating trust in cloud providers.


I am co-taught (with Edward Z. Yang) the Programming Languages course at Stanford last Fall.


fingerprint: A3CA DAA1 144E 5CDE B67F 37B9 5ED1 79BB 628C 02E2
353 Serra Mall, Room 288
Stanford, CA 94305

Last modified: 13:46:21 22-Mar-2013