Michael Hicks will present the future challenges in verifying and certifying secure software systems and the relevance that Abstract Interpretation can have in this field.
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30
Michael Hicks University of Maryland at College Park, USA
Bor-Yuh Evan Chang University of Colorado Boulder
Eran Yahav Technion