PROOFS 2021: Volume Information

Proceedings of 10th International Workshop on Security Proofs for Embedded Systems

Papers

Keyphrases

Bit-interaction leakage, bootloader use-case, Chain of Trust, Code-based Masking Scheme, Detection based defenses, Dilithium, fault injection robustness, FLSS, handshake protocol, high-level information, Information-Theoretic Metric, linear code, locality, Masking, multiple-layer sieve, post-quantum cryptography, RISC-V, serial implementation, Share-slicing, side-channel analysis, Side Channel Attack², side-channel attacks, simulation, SMLS, source code static analysis, stacking attack, symbolic execution, TLSs, weight distribution, XMSS.