Type systems for information flow control: the question of granularity
Magazine article, 2017
Author
Vineet Rajani
Max Planck Institute for Software Systems
Iulia Bastys
Max Planck Institute for Software Systems
Information Security
Willard Thor Rafnsson
Max Planck Institute for Software Systems
Software Technology (Chalmers)
Deepak Garg
Carnegie Mellon University (CMU)
Max Planck Institute for Software Systems
ACM SIGLOG News
2372-3491 (ISSN)
Vol. 4 1 6-21Subject Categories
Computer Science
DOI
10.1145/3051528.3051531