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.
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-teaching (with Edward Z. Yang) the Programming Languages course at Stanford this coming Fall.
A3CA DAA1 144E 5CDE B67F 37B9 5ED1 79BB 628C 02E2