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
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

09:00 - 10:30: PriSC 2019 - Session 1 at Sala VI
Chair(s): Deepak GargMax Planck Institute for Software Systems
prisc-201909:00 - 10:00
File Attached
prisc-201910:00 - 10:30
Marc GourjonHamburg University of Technology and NXP Semiconductors Germany GmbH
File Attached