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 Jan
|14:00 - 14:30|
Michael HicksUniversity of Maryland at College Park, USA
|14:30 - 15:00|
Bor-Yuh Evan ChangUniversity of Colorado Boulder
|15:00 - 15:30|