The High-Level Benefits of Low-Level Sandboxing (bibtex)

by Michael Sammler, Deepak Garg, Derek Dreyer and Tadeusz Litak

Reference:

Michael Sammler, Deepak Garg, Derek Dreyer and Tadeusz Litak: The High-Level Benefits of Low-Level Sandboxing, In Proc. ACM Program. Lang., 4(POPL), 2019. 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020). Artifact evaluation: Reusable

Bibtex Entry:

@article{sammlerea:popl2020,
author = {Sammler, Michael and Garg, Deepak and Dreyer, Derek and Litak, Tadeusz},
title = {The High-Level Benefits of Low-Level Sandboxing},
year = {2019},
issue_date = {January 2020},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {4},
number = {POPL},
url = {https://doi.org/10.1145/3371100},
doi = {10.1145/3371100},
journal = {Proc. ACM Program. Lang.},
ALTmonth = dec,
articleno = {32},
numpages = {32},
keywords = {Sandboxing, Iris, type systems, robust safety, logical relations, language-based security},
ALTnote = {Artifact evaluation: Reusable},
note = {47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020). Artifact evaluation: Reusable},
}