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
No Comments