Constructive Approaches for Security Analysis and Design of Embedded Systems: First International Conference, CASCADE 2025, Saint-Etienne, France, Apr [Paperback]

This book constitutes the refereed proceedings of the First International Conference on Constructive Approaches for Security Analysis and Design of Embedded Systems, CASCADE 2025, held in Saint-Etienne, France, during April 2–4, 2025.
The 24 full papers included in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections as follows: Attacks on Symmetric Cryptography; Side-Channel Attacks;  Physical Security; RISC-V; Machine Learning; Attacks on Post-Quantum Cryptography; Securing Post-Quantum Cryptography; Homomorphic Encryption and White-Box Cryptography; Attacks on Symmetric Cryptography; Side-Channel Attacks; Physical Security; RISC-V; and Machine Learning.

.-Attacks on Symmetric Cryptography.

.- The Dangerous Message/Key Swap in HMAC.

.- Practical Second-Order CPA Attack on Ascon with Proper Selection
Function.

.- Side-Channel Attacks.

.- On the Success Rate of Simple Side-Channel Attacks against Masking
with Unlimited Attack Traces.

.- A Comparison of Graph-Inference Side-Channel Attacks Against SKINNY. 

.- Physical Security.

.- Robust and Reliable PUF Protocol Exploiting Non-Monotonic
Quantization and Neyman-Pearson Lemma.

.- Towards Package Opening Detection at Power-up by Monitoring
Thermal Dissipation.

.- Partial Key Overwrite Attacks in Microcontrollers: a Survey.