Ben Karel
发表
Jonathan M. Smith,
Benjamin C. Pierce,
J. Gregory Morrisett,
2011,
PLOS '11.
B. Pierce,
G. Morrisett,
Catalin Hritcu,
2012
.
Benjamin Karel,
Ben Karel,
2019
.
Michael Pradel,
Nikos Vasilakis,
André DeHon,
2021,
CCS.
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
pdf
Michael Pradel,
Nikos Vasilakis,
Ben Karel,
2020,
ArXiv.
Jonathan M. Smith,
Nikos Vasilakis,
André DeHon,
2017,
PLOS@SOSP.
Jonathan M. Smith,
Nikos Vasilakis,
André DeHon,
2018,
NDSS.
Jonathan M. Smith,
Nikos Vasilakis,
André DeHon,
2019,
PLDI.
Benjamin C. Pierce,
J. Gregory Morrisett,
Catalin Hritcu,
2013,
2013 IEEE Symposium on Security and Privacy.
Jonathan M. Smith,
Nikos Vasilakis,
Ben Karel,
2015,
HotOS.
A. DeHon,
Ben Karel,
Nathan Dautenhahn,
2018
.