Volume
@proceedings{PROOFS2017,
title = {PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{PROOFS2017:Compositional_Verification_of_Security,
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\textbackslash{}"uhne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
pages = {1--16},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wkpS},
doi = {10.29007/h4rv}}
@inproceedings{PROOFS2017:Symbolic_Approach_for_Side_Channel,
author = {In\textbackslash{}`es 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\textbackslash{}"uhne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
pages = {17--32},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/9Bpn},
doi = {10.29007/hhnf}}
@inproceedings{PROOFS2017:Automatic_Generation_of_HCCA,
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\textbackslash{}"uhne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
pages = {33--49},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/PQdH},
doi = {10.29007/qszz}}
@inproceedings{PROOFS2017:An_Automated_Framework_for,
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\textbackslash{}"uhne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
pages = {50--67},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3gJ6},
doi = {10.29007/fmzl}}
@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\textbackslash{}"uhne and Jean-Luc Danger and Sylvain Guilley},
series = {EPiC Series in Computing},
volume = {49},
pages = {68--83},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qVqr},
doi = {10.29007/7nl2}}