Due to the realistic threat that quantum computers pose to the widely deployed traditional cryptography, academia and industry are working intensively on the migration to post-quantum cryptographic algorithms that are resistant to quantumcomputer attacks. A major challenge is providing efficient implementations, secure against attacks that exploit physical side-channel leakage. The traditional countermeasures seem to be prohibitively expensive and often, not effective enough.
This project will propose models to better understand how algorithm specifics influence the impact of side-channel attacks to security and provide more efficient and cheaper protection while still offering provable security guarantees.
