Journal: Foundations and Trends in Programming Languages

Volume 8, Issue 1

1 -- 117Marco Vassena, Alejandro Russo, Deepak Garg 0001, Vineet Rajani, Deian Stefan. From Fine- to Coarse-Grained Dynamic Information Flow Control and Back