Volume
@proceedings{PROOFS2021,
title = {Proceedings of 10th International Workshop on Security Proofs for Embedded Systems},
editor = {Ulrich Kühne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2022}}
Papers
@inproceedings{PROOFS2021:Combining_Static_Analysis_Dynamic,
author = {Guilhem Lacombe and David Féliot 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ühne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Z6bp},
doi = {10.29007/jp9w},
pages = {1-17},
year = {2022}}
@inproceedings{PROOFS2021:Simulation_Based_Evaluation_Bit,
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ühne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2hsn},
doi = {10.29007/5wq7},
pages = {18-33},
year = {2022}}
@inproceedings{PROOFS2021:Multiple_Layer_Candidate_Sieves,
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ühne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wqtL},
doi = {10.29007/d3gt},
pages = {34-48},
year = {2022}}
@inproceedings{PROOFS2021:Locality_Based_Cache_Side,
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ühne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mMlH},
doi = {10.29007/vbqt},
pages = {49-65},
year = {2022}}
@inproceedings{PROOFS2021:XMSS_based_Chain_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ühne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/CfTQ},
doi = {10.29007/2fv1},
pages = {66-82},
year = {2022}}
@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ühne and Fan Zhang},
series = {EPiC Series in Computing},
volume = {87},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3JSf},
doi = {10.29007/bnrc},
pages = {83-99},
year = {2022}}
