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ühne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2018}}

Papers

@inproceedings{PROOFS2018:Side_Channel_Assisted_Malware,
  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ühne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/Fhjh},
  doi       = {10.29007/5sdj},
  pages     = {1-15},
  year      = {2018}}


@inproceedings{PROOFS2018:Towards_Efficient_Automated_Side,
  author    = {Danilo Šijačić 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ühne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/xPnF},
  doi       = {10.29007/mbf3},
  pages     = {16-31},
  year      = {2018}}


@inproceedings{PROOFS2018:Attack_tree_based_Threat,
  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ühne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/P43q},
  doi       = {10.29007/8gxh},
  pages     = {32-49},
  year      = {2018}}


@inproceedings{PROOFS2018:Non_Reversible_Insertion_Method,
  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ühne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/ZbpT},
  doi       = {10.29007/fxvv},
  pages     = {50-67},
  year      = {2018}}


@inproceedings{PROOFS2018:Detection_Correction_Malicious_Natural,
  author    = {Batya Karp and Maël 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ühne and Nele Mentens},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/zMjh},
  doi       = {10.29007/w37p},
  pages     = {68-82},
  year      = {2018}}