External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Secure serverless computing using dynamic information flow control

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]

Authors

Kalev Alpernas

This author has not been identified. Look up 'Kalev Alpernas' in Google

Cormac Flanagan

This author has not been identified. Look up 'Cormac Flanagan' in Google

Sadjad Fouladi

This author has not been identified. Look up 'Sadjad Fouladi' in Google

Leonid Ryzhyk

This author has not been identified. Look up 'Leonid Ryzhyk' in Google

Mooly Sagiv

This author has not been identified. Look up 'Mooly Sagiv' in Google

Thomas Schmitz

This author has not been identified. Look up 'Thomas Schmitz' in Google

Keith Winstein

This author has not been identified. Look up 'Keith Winstein' in Google
runs on