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