Session chair: Marino Miculan

BProVe: A Tool for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Barbara Re and Andrea Polini

Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke and Andrés Sánchez

Control-flow Flattening Preserves the Constant-Time Policy
Matteo Busi, Pierpaolo Degano and Letterio Galletta