Preliminary design of the SAFE platform. - André DeHon; Ben Karel; Thomas F. Knight Jr.; Gregory Malecha; Benoît Montagu; Robin Morisset; Greg Morrisett; Benjamin C. Pierce; Randy Pollack; Sumit Ray; Olin Shivers; Jonathan M. Smith; et al. (PLOS@SOSP, 2011)

All Your IFCException Are Belong to Us. - Catalin Hritcu; Michael Greenberg 002; Ben Karel; Benjamin C. Pierce; Greg Morrisett (IEEE Symposium on Security and Privacy, 2013)

From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud. - Nikos Vasilakis; Ben Karel; Jonathan M. Smith (HotOS, 2015)

Towards Fine-grained, Automated Application Compartmentalization. - Nikos Vasilakis; Ben Karel; Nick Roessler; Nathan Dautenhahn; André DeHon; Jonathan M. Smith (PLOS@SOSP, 2017)

BreakApp: Automated, Flexible Application Compartmentalization. - Nikos Vasilakis; Ben Karel; Nick Roessler; Nathan Dautenhahn; André DeHon; Jonathan M. Smith (NDSS, 2018)

Ignis: scaling distribution-oblivious systems with light-touch distribution. - Nikos Vasilakis; Ben Karel; Yash Palkhiwala; John Sonchack; André DeHon; Jonathan M. Smith (PLDI, 2019)

Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript. - Nikos Vasilakis; Cristian-Alexandru Staicu; Greg Ntousakis; Konstantinos Kallas; Ben Karel; André DeHon; Michael Pradel (CoRR, 2020)

Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction. - Nikos Vasilakis; Cristian-Alexandru Staicu; Grigoris Ntousakis; Konstantinos Kallas; Ben Karel; André DeHon; Michael Pradel (CCS, 2021)