Open menu
Vineet Rajani
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back