february, 2020

fri07feb9:45 am10:45 amSession 13: Security Management, Governance and Theoretical Foundations9:45 am - 10:45 am Aula 155/2-3, Facoltà di Ingegneria | Via Brecce Bianche, 12Track:08.Scientific & Technical track | Feb 5-6-7

Event Details

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


(Friday) 9:45 am - 10:45 am


Aula 155/2-3

Facoltà di Ingegneria | Via Brecce Bianche, 12

No Comments

Post A Comment