PROOFS 2017: Volume InformationPROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems5 articles•83 pages•Published: October 4, 2017 PapersKeyphrasesARMv8, asymmetric leakage, block cipher, countermeasure, Data Mining, decomposition, Differential Fault Attack, ECC, field multiplications, formal evaluation, formal verification, hardware platform, HCCA, Hypervisor, machine learning, Masking, PAC learning, Physical Unclonable Functions, security analysis2, side-channel attacks, SoC, System Security. |