Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

PROOFS 2017: Volume Information

PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems

Editors: Ulrich Kühne, Jean-Luc Danger and Sylvain Guilley

EPiC Series in Computing•Volume 49

5 articles•83 pages•Published: October 4, 2017

Papers

Compositional Verification of Security Properties for Embedded Execution Platforms

Christoph Baumann, Oliver Schwarz and Mads Dam

1-16

Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes

Inès Ben El Ouahma, Quentin Meunier, Karine Heydemann and Emmanuelle Encrenaz

17-32

Automatic Generation of HCCA Resistant Scalar Multiplication Algorithm by Proper Sequencing of Field Multiplier Operands

Poulami Das, Debapriya Basu Roy and Debdeep Mukhopadhyay

33-49

An Automated Framework for Exploitable Fault Identification in Block Ciphers – A Data Mining Approach

Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay and Pallab Dasgupta

50-67

Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs

Nils Wisiol, Christoph Graebnitz, Marian Margraf, Manuel Oswald, Tudor Soroceanu and Benjamin Zengin

68-83

Keyphrases

ARMv8, 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 analysis², side-channel attacks, SoC, System Security.