Type systems for information flow control: the question of granularity

Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg 0001. Type systems for information flow control: the question of granularity. SIGLOG News, 4(1):6-21, 2017. [doi]

Abstract

Abstract is missing.