Foundations for Parallel Information Flow Control Runtime Systems
Paper in proceedings, 2019
non-interference
runtime system
parallelism
Author
Marco Vassena
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Gary Soeller
University of California at San Diego (UCSD)
Peter Amidon
University of California at San Diego (UCSD)
Matthew Chan
Awake Security
John Renner
University of California at San Diego (UCSD)
Deian Stefan
University of California at San Diego (UCSD)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Prague, Czech Republic,
Subject Categories
Computer Engineering
Embedded Systems
Computer Systems
DOI
10.1007/978-3-030-17138-4_1