Marco Vassena

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back