Towards Secure Compilation of Power Side-Channel Countermeasures
Software countermeasures against power side-channel attacks are an active research area in cryptography and cryptanalysis. To date, no compiler provides dependable compilation from high-level languages since respective security properties are systematically broken at compile time. There is a strong demand for secure compilation as it is a difficult and error prone task to implement, adopt and verify handwritten assembly for each targeted platform. We provide a characterization of the probing security policy for power side-channel countermeasures, related preservation problems and sketch an approach for future work to close the gap between abstract algorithms and their secure implementation or compilation to relevant architectures.
Conference DaySun 13 JanDisplayed time zone: Belfast change
09:00 - 10:30
|PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography|
Benjamin GregoireINRIAFile Attached
|Towards Secure Compilation of Power Side-Channel Countermeasures|
Marc GourjonHamburg University of Technology and NXP Semiconductors Germany GmbHFile Attached