A Belay, A Bittau, A Mashtizadeh, D Terei, D Mazieres, C Kozyrakis

10th {USENIX} Symposium on Operating Systems Design and Implementation …, 2012

DB Giffin, A Levy, D Stefan, D Terei, D Mazieres, JC Mitchell, A Russo

10th {USENIX} Symposium on Operating Systems Design and Implementation …, 2012

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

European Symposium on Research in Computer Security, 718-735, 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

PQDT-UK & Ireland, 2016

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

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

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

D Terei