My name is Deian Stefan. I am a second 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 Security Lab, where I am advised by Prof. John C. Mitchell, and the Secure Computer Systems Lab, where I am advised by "Prof." David Mazières.
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.