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