| 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 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 intersect Programming Languages, Security, and Operating Systems. Currently, I am working on language- and library-based security. In particular, I am trying to improve web application security with decentralized information flow control (DIFC), while also making DIFC systems more practical, usable, and secure. On the server-side, I am working on Hails, a secure Haskell web framework (soon, JavaScript!). On the client-side, I am working on COWL, a system that provides developers the ability to specify and enforce confinement policies. I also worked on the PROCEED project, where we developed a language for programming on encrypted data, with the goal of eliminating trust in cloud providers.


I 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: Tue May 13 00:37:25 PDT 2014