Sun 7 Jan 2018 16:30 - 17:00 at Watercourt - Security Chair(s): Francesco Ranzato

Sun 7 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 17:30
SecurityVMCAI at Watercourt
Chair(s): Francesco Ranzato University of Padova
16:00
30m
Talk
Code Obfuscation Against Abstract Model Checking Attacks
VMCAI
Roberto Bruni Dipartimento di Informatica, Universita' di Pisa, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Roberta Gori Dipartimento di Informatica, Universita' di Pisa
16:30
30m
Talk
Scalable Approximation of Quantitative Information Flow in Programs
VMCAI
Fabrizio Biondi CentraleSupelec Rennes, Mike Enescu INRIA, Annelie Heuser CNRS/IRISA, Axel Legay , Kuldeep S. Meel National University of Singapore, Jean Quilbeuf INRIA
17:00
30m
Talk
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference
VMCAI
Samuele Buro Università degli Studi di Verona, Isabella Mastroeni University of Verona, Italy