PROOFS 2018:BibTeX Entries

Volume

@proceedings{PROOFS2018,
  title     = {PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems},
  editor    = {Lejla Batina and Ulrich K\textbackslash{}"uhne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762}}

Papers

@inproceedings{PROOFS2018:Side_Channel_Assisted_Malware_Classifier,
  author    = {Manaar Alam and Debdeep Mukhopadhyay and Sai Praveen Kadiyala and Siew Kei Lam and Thambipillai Srikanthan},
  title     = {Side-Channel Assisted Malware Classifier with Gradient Descent Correction for Embedded Platforms},
  booktitle = {PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems},
  editor    = {Lejla Batina and Ulrich K\textbackslash{}"uhne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  pages     = {1--15},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/Fhjh},
  doi       = {10.29007/5sdj}}

@inproceedings{PROOFS2018:Towards_Efficient_and_Automated,
  author    = {Danilo \textbackslash{}v\{S\}ija\textbackslash{}v\{c\}i\textbackslash{}'c and Josep Balasch and Bohan Yang and Santosh Ghosh and Ingrid Verbauwhede},
  title     = {Towards Efficient and Automated Side Channel Evaluations at Design Time},
  booktitle = {PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems},
  editor    = {Lejla Batina and Ulrich K\textbackslash{}"uhne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  pages     = {16--31},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/xPnF},
  doi       = {10.29007/mbf3}}

@inproceedings{PROOFS2018:Attack_tree_based_Threat_Modeling_of,
  author    = {Muhammad Ali Siddiqi and Robert M. Seepers and Mohammad Hamad and Vassilis Prevelakis and Christos Strydis},
  title     = {Attack-tree-based Threat Modeling of Medical Implants},
  booktitle = {PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems},
  editor    = {Lejla Batina and Ulrich K\textbackslash{}"uhne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  pages     = {32--49},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/P43q},
  doi       = {10.29007/8gxh}}

@inproceedings{PROOFS2018:Non_Reversible_Insertion_Method_for,
  author    = {Akira Ito and Rei Ueno and Naofumi Homma and Takafumi Aoki},
  title     = {A Non-Reversible Insertion Method for Hardware Trojans Based on Path Delay Faults},
  booktitle = {PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems},
  editor    = {Lejla Batina and Ulrich K\textbackslash{}"uhne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  pages     = {50--67},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/ZbpT},
  doi       = {10.29007/fxvv}}

@inproceedings{PROOFS2018:Detection_and_Correction_of,
  author    = {Batya Karp and Ma\textbackslash{}"el Gay and Osnat Keren and Ilia Polian},
  title     = {Detection and Correction of Malicious and Natural Faults in Cryptographic Modules},
  booktitle = {PROOFS 2018. 7th International Workshop on Security Proofs for Embedded Systems},
  editor    = {Lejla Batina and Ulrich K\textbackslash{}"uhne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  pages     = {68--82},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/zMjh},
  doi       = {10.29007/w37p}}