PROOFS 2017:BibTeX Entries

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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qVqr},
  doi       = {10.29007/7nl2}}