D Giffin, A Levy, D Stefan, D Terei, D Mazieres, J Mitchell, A Russo

Journal of Computer Security 25 (4-5), 427-461, 2017

D Stefan, P Buiras, EZ Yang, A Levy, D Terei, A Russo, D Mazières

Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013

DA Terei, MMT Chakravarty

Proceedings of the third ACM Haskell symposium on Haskell, 109-120, 2010

D Terei, S Marlow, S Peyton Jones, D Mazières

Proceedings of the 2012 Haskell Symposium, 137-148, 2012

AJ Mashtizadeh, T Garfinkel, D Terei, D Mazieres, M Rosenblum

ACM SIGPLAN Notices 52 (4), 693-708, 2017

H Qu, O Mashayekhi, D Terei, P Levis

arXiv preprint arXiv:1602.01412, 2016

D Terei, A Levy

arXiv preprint arXiv:1504.02578, 2015

DA Terei, MMT Chakravarty

Bachelor’s Thesis, Computer Science and Engineering Dept., The University of …, 2009

D Terei, A Aiken, J Vitek

ACM SIGPLAN Notices 49 (11), 3-13, 2014

D Giffin, S Heule, A Levy, D Mazières, J Mitchell, A Russo, A Shen, ...

Proceedings of POST, 2014

D Terei

Stanford University, 2016

AA Levy, D Terei, D Stefan, D Maziéres

ACM SIGPLAN Notices 49 (12), 91-91, 2014

A Belay, A Bittau, A Mashtizadeh, D Terei, D Mazières, C Kozyrakis

S Boyd-Wickizer, P Buiras, D Giffin, S Heule, E Kohler, A Levy, ...

D Terei