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ühne and Letitia Li},
  series    = {Kalpa Publications in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2019}}

Papers

@inproceedings{PROOFS2019:End_end_automated_cache,
  author    = {Sebastien Carré 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ühne and Letitia Li},
  series    = {Kalpa Publications in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/jZH5},
  doi       = {10.29007/nwj8},
  pages     = {1-16},
  year      = {2019}}


@inproceedings{PROOFS2019:Detecting_Faults_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ühne and Letitia Li},
  series    = {Kalpa Publications in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/HTzP},
  doi       = {10.29007/fv2n},
  pages     = {17-32},
  year      = {2019}}


@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ühne and Letitia Li},
  series    = {Kalpa Publications in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/wnz9},
  doi       = {10.29007/nbm3},
  pages     = {33-48},
  year      = {2019}}


@inproceedings{PROOFS2019:comment_information_leakage_from,
  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ühne and Letitia Li},
  series    = {Kalpa Publications in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/ZDvk},
  doi       = {10.29007/r2sc},
  pages     = {49-63},
  year      = {2019}}


@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ühne and Letitia Li},
  series    = {Kalpa Publications in Computing},
  volume    = {11},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/fBNC},
  doi       = {10.29007/ws8z},
  pages     = {64-77},
  year      = {2019}}