@inproceedings{10.1007/978-3-030-36237-9_8,
  title = {Security Evaluation Against Side-Channel Analysis at Compilation Time},
  author = {Bruneau, Nicolas and Christen, Charles and Danger, Jean-Luc and Facon, Adrien and Guilley, Sylvain},
  year = 2019,
  booktitle = {Algebra, Codes and Cryptology},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {129--148},
  doi = {10.1007/978-3-030-36237-9_8},
  isbn = {978-3-030-36237-9},
  url = {https://hal-cnrs.archives-ouvertes.fr/hal-02915643},
  editor = {Gueye, Cheikh Thiecoumba and Persichetti, Edoardo and Cayrel, Pierre-Louis and Buchmann, Johannes},
  abstract = {Masking countermeasure is implemented to thwart side-channel attacks. The maturity of high-order masking schemes has reached the level where the concepts are sound and proven. For instance, Rivain and Prouff proposed a full-fledged AES at CHES 2010. Some non-trivial fixes regarding refresh functions were needed though. Now, industry is adopting such solutions, and for the sake of both quality and certification requirements, masked cryptographic code shall be checked for correctness using the same model as that of the theoretical protection rationale (for instance the probing leakage model).}
}

{"_id":"rwEwKKon3KGJNZvXo","bibbaseid":"bruneau-christen-danger-facon-guilley-securityevaluationagainstsidechannelanalysisatcompilationtime-2019","authorIDs":[],"author_short":["Bruneau, N.","Christen, C.","Danger, J.","Facon, A.","Guilley, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Security Evaluation Against Side-Channel Analysis at Compilation Time","author":[{"propositions":[],"lastnames":["Bruneau"],"firstnames":["Nicolas"],"suffixes":[]},{"propositions":[],"lastnames":["Christen"],"firstnames":["Charles"],"suffixes":[]},{"propositions":[],"lastnames":["Danger"],"firstnames":["Jean-Luc"],"suffixes":[]},{"propositions":[],"lastnames":["Facon"],"firstnames":["Adrien"],"suffixes":[]},{"propositions":[],"lastnames":["Guilley"],"firstnames":["Sylvain"],"suffixes":[]}],"year":"2019","booktitle":"Algebra, Codes and Cryptology","publisher":"Springer International Publishing","address":"Cham","pages":"129–148","doi":"10.1007/978-3-030-36237-9_8","isbn":"978-3-030-36237-9","url":"https://hal-cnrs.archives-ouvertes.fr/hal-02915643","editor":[{"propositions":[],"lastnames":["Gueye"],"firstnames":["Cheikh","Thiecoumba"],"suffixes":[]},{"propositions":[],"lastnames":["Persichetti"],"firstnames":["Edoardo"],"suffixes":[]},{"propositions":[],"lastnames":["Cayrel"],"firstnames":["Pierre-Louis"],"suffixes":[]},{"propositions":[],"lastnames":["Buchmann"],"firstnames":["Johannes"],"suffixes":[]}],"abstract":"Masking countermeasure is implemented to thwart side-channel attacks. The maturity of high-order masking schemes has reached the level where the concepts are sound and proven. For instance, Rivain and Prouff proposed a full-fledged AES at CHES 2010. Some non-trivial fixes regarding refresh functions were needed though. Now, industry is adopting such solutions, and for the sake of both quality and certification requirements, masked cryptographic code shall be checked for correctness using the same model as that of the theoretical protection rationale (for instance the probing leakage model).","bibtex":"@inproceedings{10.1007/978-3-030-36237-9_8,\r\n title = {Security Evaluation Against Side-Channel Analysis at Compilation Time},\r\n author = {Bruneau, Nicolas and Christen, Charles and Danger, Jean-Luc and Facon, Adrien and Guilley, Sylvain},\r\n year = 2019,\r\n booktitle = {Algebra, Codes and Cryptology},\r\n publisher = {Springer International Publishing},\r\n address = {Cham},\r\n pages = {129--148},\r\n doi = {10.1007/978-3-030-36237-9_8},\r\n isbn = {978-3-030-36237-9},\r\n url = {https://hal-cnrs.archives-ouvertes.fr/hal-02915643},\r\n editor = {Gueye, Cheikh Thiecoumba and Persichetti, Edoardo and Cayrel, Pierre-Louis and Buchmann, Johannes},\r\n abstract = {Masking countermeasure is implemented to thwart side-channel attacks. The maturity of high-order masking schemes has reached the level where the concepts are sound and proven. For instance, Rivain and Prouff proposed a full-fledged AES at CHES 2010. Some non-trivial fixes regarding refresh functions were needed though. Now, industry is adopting such solutions, and for the sake of both quality and certification requirements, masked cryptographic code shall be checked for correctness using the same model as that of the theoretical protection rationale (for instance the probing leakage model).}\r\n}\r\n\r\n","author_short":["Bruneau, N.","Christen, C.","Danger, J.","Facon, A.","Guilley, S."],"editor_short":["Gueye, C. T.","Persichetti, E.","Cayrel, P.","Buchmann, J."],"key":"10.1007/978-3-030-36237-9_8","id":"10.1007/978-3-030-36237-9_8","bibbaseid":"bruneau-christen-danger-facon-guilley-securityevaluationagainstsidechannelanalysisatcompilationtime-2019","role":"author","urls":{"Paper":"https://hal-cnrs.archives-ouvertes.fr/hal-02915643"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"https://files.tek.sdu.dk/public/teamplay2020/publications_08-09-2020.bib.txt.txt","creationDate":"2020-06-18T08:44:58.218Z","downloads":2,"keywords":[],"search_terms":["security","evaluation","against","side","channel","analysis","compilation","time","bruneau","christen","danger","facon","guilley"],"title":"Security Evaluation Against Side-Channel Analysis at Compilation Time","year":2019,"dataSources":["RJCkRW3ueGx5LXeFh","e7eJ8wKfzcH6qNu5M","oa7at7nJt9iLtdtKv"]}