PROOFS 2019:BibTeX Entries

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