Faceted secure multi execution
Paper in proceeding, 2018
Haskell
Information-flow control
Decentralized labels
Multi-executions
Author
Thomas Schmitz
University of California
Cormac Flanagan
University of California
Maximilian Algehed
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Alejandro Russo
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Proceedings of the ACM Conference on Computer and Communications Security
15437221 (ISSN)
1617-1634978-145035693-0 (ISBN)
Toronto, Canada,
Subject Categories
Computer Engineering
Computer Science
Computer Systems
DOI
10.1145/3243734.3243806