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