Accepted Papers - SHIFT

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