Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure serverless computing using dynamic information flow control
OOPSLA, 2018.
@article{OOPSLA-2018-AlpernasFFRSSW,
author = "Kalev Alpernas and Cormac Flanagan and Sadjad Fouladi and Leonid Ryzhyk and Mooly Sagiv and Thomas Schmitz and Keith Winstein",
doi = "10.1145/3276488",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "26",
publisher = "{ACM}",
title = "{Secure serverless computing using dynamic information flow control}",
volume = 2,
year = 2018,
}
Tags:
