Marco Vassena

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