Volume
@proceedings{PROOFS2019,
title = {Proceedings of 8th International Workshop on Security Proofs for Embedded Systems},
editor = {Karine Heydemann and Ulrich K\textbackslash{}"uhne and Letitia Li},
series = {Kalpa Publications in Computing},
volume = {11},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762}}
Papers
@inproceedings{PROOFS2019:End_to_end_automated_cache_timing_attack,
author = {Sebastien Carr\textbackslash{}'e and Victor Dyseryn and Adrien Facon and Sylvain Guilley and Thomas Perianin},
title = {End-to-end automated cache-timing attack driven by Machine Learning},
booktitle = {Proceedings of 8th International Workshop on Security Proofs for Embedded Systems},
editor = {Karine Heydemann and Ulrich K\textbackslash{}"uhne and Letitia Li},
series = {Kalpa Publications in Computing},
volume = {11},
pages = {1--16},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/jZH5},
doi = {10.29007/nwj8}}
@inproceedings{PROOFS2019:Detecting_Faults_in_Inner_Product,
author = {Wei Cheng and Claude Carlet and Kouassi Goli and Jean-Luc Danger and Sylvain Guilley},
title = {Detecting Faults in Inner-Product Masking Scheme - IPM-FD: IPM with Fault Detection},
booktitle = {Proceedings of 8th International Workshop on Security Proofs for Embedded Systems},
editor = {Karine Heydemann and Ulrich K\textbackslash{}"uhne and Letitia Li},
series = {Kalpa Publications in Computing},
volume = {11},
pages = {17--32},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/HTzP},
doi = {10.29007/fv2n}}
@inproceedings{PROOFS2019:Rocknroll_PUFs_Crafting_Provably,
author = {Fatemeh Ganji and Shahin Tajik and Pascal Stauss and Jean-Pierre Seifert and Domenic Forte and Mark Tehranipoor},
title = {Rock'n'roll PUFs: Crafting Provably Secure PUFs from Less Secure Ones},
booktitle = {Proceedings of 8th International Workshop on Security Proofs for Embedded Systems},
editor = {Karine Heydemann and Ulrich K\textbackslash{}"uhne and Letitia Li},
series = {Kalpa Publications in Computing},
volume = {11},
pages = {33--48},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/wnz9},
doi = {10.29007/nbm3}}
@inproceedings{PROOFS2019:comment_on_information_leakage,
author = {Osnat Keren and Ilia Polian},
title = {A comment on information leakage from robust code-based checkers detecting fault attacks on cryptographic primitives},
booktitle = {Proceedings of 8th International Workshop on Security Proofs for Embedded Systems},
editor = {Karine Heydemann and Ulrich K\textbackslash{}"uhne and Letitia Li},
series = {Kalpa Publications in Computing},
volume = {11},
pages = {49--63},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/ZDvk},
doi = {10.29007/r2sc}}
@inproceedings{PROOFS2019:Constructing_Sliding_Windows_Leak,
author = {Rei Ueno and Junko Takahashi and Yu-Ichi Hayashi and Naofumi Homma},
title = {Constructing Sliding Windows Leak from Noisy Cache Timing Information of OSS-RSA},
booktitle = {Proceedings of 8th International Workshop on Security Proofs for Embedded Systems},
editor = {Karine Heydemann and Ulrich K\textbackslash{}"uhne and Letitia Li},
series = {Kalpa Publications in Computing},
volume = {11},
pages = {64--77},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/fBNC},
doi = {10.29007/ws8z}}