PROOFS 2019: Volume Information

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

Papers

Keyphrases

cache (or micro-architectural) attack, Cache Timing Attack, Cryptographic hardware primitives, deep learning, ECDSA, fault detection, fault injection attacks, Flush+Flush, Flush+Reload, hardness amplification, Hardware Security, information leakage, Inner Product Masking, machine learning², mutual information, OpenSSL, optimal linear codes, Physically Unclonable Function, provable security, RSA, Security oriented codes, sliding window.