PROOFS 2021:BibTeX Entries

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