Mon 5 Nov 2018 14:15 - 15:00 at Franklin - II Chair(s): William Bail

Panel discussion on the use of programming languages, modeling languages, and specification languages to specify and/or ensure desirable security properties

Mon 5 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: HILT 2018 - II at Franklin
Chair(s): William BailThe MITRE Corporation
hilt-2018-papers13:30 - 14:15
Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig, Alexander KnüppelTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University, Derrick KourieStellenbosch University, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR
hilt-2018-papers14:15 - 15:00
Stephen ChongHarvard University, Ina SchaeferTechnische Universität Braunschweig, Tobias RungeTU Braunschweig, Lucas WagnerRockwell Collins, Sam ProcterCarnegie Mellon Software Engineering Institute, Tucker TaftAdaCore