Search dblp for Publications

export results for "toc:db/conf/ches/proofs2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ches/0003RM17,
  author       = {Poulami Das and
                  Debapriya Basu Roy and
                  Debdeep Mukhopadhyay},
  editor       = {Ulrich K{\"{u}}hne and
                  Jean{-}Luc Danger and
                  Sylvain Guilley},
  title        = {Automatic Generation of {HCCA} Resistant Scalar Multiplication Algorithm
                  by Proper Sequencing of Field Multiplier Operands},
  booktitle    = {{PROOFS} 2017, 6th International Workshop on Security Proofs for Embedded
                  Systems, Taipei, Taiwan, September 29th, 2017},
  series       = {EPiC Series in Computing},
  volume       = {49},
  pages        = {33--49},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/qszz},
  doi          = {10.29007/QSZZ},
  timestamp    = {Tue, 30 Nov 2021 10:30:08 +0100},
  biburl       = {https://dblp.org/rec/conf/ches/0003RM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/BaumannSD17,
  author       = {Christoph Baumann and
                  Oliver Schwarz and
                  Mads Dam},
  editor       = {Ulrich K{\"{u}}hne and
                  Jean{-}Luc Danger and
                  Sylvain Guilley},
  title        = {Compositional Verification of Security Properties for Embedded Execution
                  Platforms},
  booktitle    = {{PROOFS} 2017, 6th International Workshop on Security Proofs for Embedded
                  Systems, Taipei, Taiwan, September 29th, 2017},
  series       = {EPiC Series in Computing},
  volume       = {49},
  pages        = {1--16},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/h4rv},
  doi          = {10.29007/H4RV},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ches/BaumannSD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/OuahmaMHE17,
  author       = {In{\`{e}}s Ben El Ouahma and
                  Quentin L. Meunier and
                  Karine Heydemann and
                  Emmanuelle Encrenaz},
  editor       = {Ulrich K{\"{u}}hne and
                  Jean{-}Luc Danger and
                  Sylvain Guilley},
  title        = {Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly
                  Codes},
  booktitle    = {{PROOFS} 2017, 6th International Workshop on Security Proofs for Embedded
                  Systems, Taipei, Taiwan, September 29th, 2017},
  series       = {EPiC Series in Computing},
  volume       = {49},
  pages        = {17--32},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/hhnf},
  doi          = {10.29007/HHNF},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ches/OuahmaMHE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/SahaKMD17,
  author       = {Sayandeep Saha and
                  Ujjawal Kumar and
                  Debdeep Mukhopadhyay and
                  Pallab Dasgupta},
  editor       = {Ulrich K{\"{u}}hne and
                  Jean{-}Luc Danger and
                  Sylvain Guilley},
  title        = {An Automated Framework for Exploitable Fault Identification in Block
                  Ciphers - {A} Data Mining Approach},
  booktitle    = {{PROOFS} 2017, 6th International Workshop on Security Proofs for Embedded
                  Systems, Taipei, Taiwan, September 29th, 2017},
  series       = {EPiC Series in Computing},
  volume       = {49},
  pages        = {50--67},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/fmzl},
  doi          = {10.29007/FMZL},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ches/SahaKMD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/WisiolGMOSZ17,
  author       = {Nils Wisiol and
                  Christoph Graebnitz and
                  Marian Margraf and
                  Manuel Oswald and
                  Tudor A. A. Soroceanu and
                  Benjamin Zengin},
  editor       = {Ulrich K{\"{u}}hne and
                  Jean{-}Luc Danger and
                  Sylvain Guilley},
  title        = {Why Attackers Lose: Design and Security Analysis of Arbitrarily Large
                  {XOR} Arbiter PUFs},
  booktitle    = {{PROOFS} 2017, 6th International Workshop on Security Proofs for Embedded
                  Systems, Taipei, Taiwan, September 29th, 2017},
  series       = {EPiC Series in Computing},
  volume       = {49},
  pages        = {68--83},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/7nl2},
  doi          = {10.29007/7NL2},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ches/WisiolGMOSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ches/2017proofs,
  editor       = {Ulrich K{\"{u}}hne and
                  Jean{-}Luc Danger and
                  Sylvain Guilley},
  title        = {{PROOFS} 2017, 6th International Workshop on Security Proofs for Embedded
                  Systems, Taipei, Taiwan, September 29th, 2017},
  series       = {EPiC Series in Computing},
  volume       = {49},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://easychair.org/publications/volume/PROOFS\_2017},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ches/2017proofs.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics