From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Paper in proceedings, 2019
verified source-to-source transformations
Information-flow control
Agda
Author
Marco Vassena
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Deepak Garg
Max Planck Society
Alejandro Russo
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Vineet Rajani
Max Planck Society
Deian Stefan
University of California at San Diego (UCSD)
Cascais, Portugal,
Subject Categories
Computer Science
DOI
10.1145/3290389