PROOFS 2017: BibTeX Entries

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}}