Volume
@proceedings{PROOFS2017,
title = {PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich Kühne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2017}}
Papers
@inproceedings{PROOFS2017:Compositional_Verification_Security_Properties,
author = {Christoph Baumann and Oliver Schwarz and Mads Dam},
title = {Compositional Verification of Security Properties for Embedded Execution Platforms},
booktitle = {PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich Kühne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wkpS},
doi = {10.29007/h4rv},
pages = {1-16},
year = {2017}}
@inproceedings{PROOFS2017:Symbolic_Approach_Side_Channel,
author = {Inès Ben El Ouahma and Quentin Meunier and Karine Heydemann and Emmanuelle Encrenaz},
title = {Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes},
booktitle = {PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich Kühne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9Bpn},
doi = {10.29007/hhnf},
pages = {17-32},
year = {2017}}
@inproceedings{PROOFS2017:Automatic_Generation_HCCA_Resistant,
author = {Poulami Das and Debapriya Basu Roy and Debdeep Mukhopadhyay},
title = {Automatic Generation of HCCA Resistant Scalar Multiplication Algorithm by Proper Sequencing of Field Multiplier Operands},
booktitle = {PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich Kühne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/PQdH},
doi = {10.29007/qszz},
pages = {33-49},
year = {2017}}
@inproceedings{PROOFS2017:Automated_Framework_Exploitable_Fault,
author = {Sayandeep Saha and Ujjawal Kumar and Debdeep Mukhopadhyay and Pallab Dasgupta},
title = {An Automated Framework for Exploitable Fault Identification in Block Ciphers – A Data Mining Approach},
booktitle = {PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich Kühne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3gJ6},
doi = {10.29007/fmzl},
pages = {50-67},
year = {2017}}
@inproceedings{PROOFS2017:Why_Attackers_Lose_Design,
author = {Nils Wisiol and Christoph Graebnitz and Marian Margraf and Manuel Oswald and Tudor Soroceanu and Benjamin Zengin},
title = {Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs},
booktitle = {PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich Kühne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qVqr},
doi = {10.29007/7nl2},
pages = {68-83},
year = {2017}}