Information Flow Control for Distributed Trusted Execution Environments

Distributed applications cannot assume that their security policies will be enforced on untrusted hosts. Trusted execution environments (TEEs) combined with cryptographic mechanisms enable execution of known code on an untrusted host and the exchange of confidential and authenticated messages with i...

Full description

Bibliographic Details

Published in:	Proceedings (IEEE Computer Security Foundations Symposium) pp. 304 - 30414
Main Authors:	Gollamudi, Anitha, Chong, Stephen, Arden, Owen
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2019
Subjects:	distributed-systems enclaves information-flow-control language-based-security security trusted-execution-environment
ISSN:	2374-8303
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!