Scalable Approximation of Quantitative Information Flow in Programs (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Fabrizio Biondi, Mike Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf

Track

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Fabrizio Biondi

CentraleSupelec Rennes

Mike Enescu

INRIA

Annelie Heuser

CNRS/IRISA

Axel Legay

Kuldeep S. Meel

National University of Singapore

Jean Quilbeuf

INRIA

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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