Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 10:00 - 10:30 at Sala VI - Session 1 Chair(s): Deepak Garg

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

Displayed time zone: Belfast change

09:00 - 10:30
Session 1PriSC at Sala VI
Chair(s): Deepak Garg Max Planck Institute for Software Systems
PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography
File Attached
Towards Secure Compilation of Power Side-Channel Countermeasures
Marc Gourjon Hamburg University of Technology and NXP Semiconductors Germany GmbH
File Attached