POPL 2019 (series) / PriSC 2019 (series) / Principles of Secure Compilation /
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.
Presentation (psc-comp.pdf) | 121KiB |
Sun 13 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change
Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change
09:00 - 10:30: Session 1PriSC at Sala VI Chair(s): Deepak GargMax Planck Institute for Software Systems | |||
09:00 - 10:00 Talk | PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography PriSC Benjamin GregoireINRIA File Attached | ||
10:00 - 10:30 Talk | Towards Secure Compilation of Power Side-Channel Countermeasures PriSC Marc GourjonHamburg University of Technology and NXP Semiconductors Germany GmbH File Attached |