Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein. Secure serverless computing using dynamic information flow control. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 2018. [doi]
@article{AlpernasFFRSSW18,
title = {Secure serverless computing using dynamic information flow control},
author = {Kalev Alpernas and Cormac Flanagan and Sadjad Fouladi and Leonid Ryzhyk and Mooly Sagiv and Thomas Schmitz and Keith Winstein},
year = {2018},
doi = {10.1145/3276488},
url = {https://doi.org/10.1145/3276488},
researchr = {https://researchr.org/publication/AlpernasFFRSSW18},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {2},
number = {OOPSLA},
}