Faceted secure multi execution
Paper i proceeding, 2018
Haskell
Information-flow control
Decentralized labels
Multi-executions
Författare
Thomas Schmitz
University of California
Cormac Flanagan
University of California
Maximilian Algehed
Chalmers, Data- och informationsteknik, Funktionell programmering
Alejandro Russo
Chalmers, Data- och informationsteknik, Informationssäkerhet
Proceedings of the ACM Conference on Computer and Communications Security
15437221 (ISSN)
1617-1634978-145035693-0 (ISBN)
Toronto, Canada,
Ämneskategorier
Datorteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/3243734.3243806