Watch Me, but Don't Touch Me! Contactless Control Flow Monitoring via Electromagnetic Emanations
Semantics and Analysis of Instruction List Programs