Program

Session 1: Safe compilation (Thu Oct 31, 9:00-11:00)

Keynote Talk: Towards Uniform Modeling of Hardware and Software, Their Faults and Interactions

Fevzi Belli

Safe Compilation for Hidden Deterministic Hardware Aliasing

Peter T. Breuer, Johnathan Bowen

Chaotic Compilation for Encrypted Computing.

Peter T. Breuer, Johnatan Bowen

Session 2: Safeguarding System operations (Thu Oct 31, 11:30-12:30)

SHTCoT: Secure (and Verified) Hybrid Chain of Trust to Protect from Malicious Software in Lightweights devices

Abderrahmane Sensaoui, Oum-El-Kheir Aktouf, David Hely

Flexible Soft error Mitigation Strategy for memories in mixed-critical systems

Amer Kajmakovic, Nermin Kajtazovic, Konrad Diwold, Robert Zupanc and Georg Macher