Ben Karel

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 5

Top Topics

Operating System

Microsoft Windows

Top Venues

IEEE Symposium on Security and Privacy

Publications

Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction. CCS (2021)
Nikos Vasilakis, Cristian-Alexandru Staicu, Greg Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript. CoRR (2020)
Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, Jonathan M. Smith
Ignis: scaling distribution-oblivious systems with light-touch distribution. PLDI (2019)
Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, André DeHon, Jonathan M. Smith
BreakApp: Automated, Flexible Application Compartmentalization. NDSS (2018)
Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, André DeHon, Jonathan M. Smith
Towards Fine-grained, Automated Application Compartmentalization. PLOS@SOSP (2017)
Nikos Vasilakis, Ben Karel, Jonathan M. Smith
From Lone Dwarfs to Giant Superclusters: Rethinking Operating System Abstractions for the Cloud. HotOS (2015)
Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett
All Your IFCException Are Belong to Us. IEEE Symposium on Security and Privacy (2013)
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, Gregory Sullivan
Preliminary design of the SAFE platform. PLOS@SOSP (2011)