Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ches/proofs2017.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.