CC 2024
Sat 2 - Sun 3 March 2024 Edinburgh, United Kingdom
Sun 3 Mar 2024 15:00 - 15:20 at Harris - Safety and Correctness Chair(s): Fernando Magno Quintão Pereira

Sun 3 Mar

Displayed time zone: London change

14:40 - 15:20
Safety and CorrectnessMain Conference at Harris
Chair(s): Fernando Magno Quintão Pereira Federal University of Minas Gerais
14:40
20m
Talk
From Low-level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme
Main Conference
Sébastien Michelland Université Grenoble-Alpes, Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Christophe Deleuze Grenoble-INP/ESISAR
15:00
20m
Talk
Clog: A Declarative Language for C Static Code Checkers
Main Conference
Alexandru Dura Lund University, Christoph Reichenbach Lund University