Volume
@proceedings{PROOFS2021,
title = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
year = {2022},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{PROOFS2021:Combining_Static_Analysis_and,
author = {Guilhem Lacombe and David F\textbackslash{}'eliot and Etienne Boespflug and Marie-Laure Potet},
title = {Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities},
booktitle = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
pages = {1--17},
year = {2022},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Z6bp},
doi = {10.29007/jp9w}}
@inproceedings{PROOFS2021:Simulation_Based_Evaluation_of,
author = {Tamon Asano and Takeshi Sugawara},
title = {Simulation Based Evaluation of Bit-Interaction Side-Channel Leakage on RISC-V Processor},
booktitle = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
pages = {18--33},
year = {2022},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2hsn},
doi = {10.29007/5wq7}}
@inproceedings{PROOFS2021:Multiple_Layer_Candidate_Sieves_Against,
author = {Changhai Ou and Fan Zhang and Xinping Zhou and Kexin Qiao and Renjun Zhang},
title = {Multiple-Layer Candidate Sieves Against Serial Cryptographic Implementations},
booktitle = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
pages = {34--48},
year = {2022},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wqtL},
doi = {10.29007/d3gt}}
@inproceedings{PROOFS2021:Locality_Based_Cache_Side_channel,
author = {Limin Wang and Lei Bu and Fu Song},
title = {Locality Based Cache Side-channel Attack Detection},
booktitle = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
pages = {49--65},
year = {2022},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mMlH},
doi = {10.29007/vbqt}}
@inproceedings{PROOFS2021:XMSS_based_Chain_of_Trust,
author = {Soundes Marzougui and Jean-Pierre Seifert},
title = {XMSS-based Chain of Trust},
booktitle = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
pages = {66--82},
year = {2022},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/CfTQ},
doi = {10.29007/2fv1}}
@inproceedings{PROOFS2021:Towards_Finding_Best_Linear,
author = {Wei Cheng and Yi Liu and Sylvain Guilley and Olivier Rioul},
title = {Towards Finding Best Linear Codes for Side-Channel Protections},
booktitle = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich K\textbackslash{}"uhne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
pages = {83--99},
year = {2022},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3JSf},
doi = {10.29007/bnrc}}