{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T05:13:04Z","timestamp":1716873184186},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T00:00:00Z","timestamp":1552694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Cryptogr Eng"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1007\/s13389-019-00205-7","type":"journal-article","created":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T15:02:41Z","timestamp":1552748561000},"page":"231-242","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Side-channel robustness analysis of masked assembly codes using a symbolic approach"],"prefix":"10.1007","volume":"9","author":[{"given":"In\u00e8s","family":"Ben\u00a0El\u00a0Ouahma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quentin L.","family":"Meunier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karine","family":"Heydemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuelle","family":"Encrenaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,16]]},"reference":[{"key":"205_CR1","doi-asserted-by":"crossref","unstructured":"Balasch, J., Gierlichs, B., Grosso, V., Reparaz, O., Standaert, F.-X.: On the cost of lazy engineering for masked software implementations. In: International Conference on Smart Card Research and Advanced Applications, pp. 64\u201381. Springer (2014)","DOI":"10.1007\/978-3-319-16763-3_5"},{"key":"205_CR2","doi-asserted-by":"crossref","unstructured":"Barthe, G., Bela\u00efd, S., Dupressoir, F., Fouque, P.-A., Gr\u00e9goire, B., Strub, P.-Y.: Verified proofs of higher-order masking. In: Eurocrypt 2015, number 9056 (2015)","DOI":"10.1007\/978-3-662-46800-5_18"},{"key":"205_CR3","doi-asserted-by":"crossref","unstructured":"Barthe, G., Dupressoir, F., Faust, S., Gr\u00e9goire, B., Standaert, F.-X., Strub, P.-Y.: Parallel implementations of masking schemes and the bounded moment leakage model. In: Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 535\u2013566. Springer (2017)","DOI":"10.1007\/978-3-319-56620-7_19"},{"issue":"2","key":"205_CR4","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/TC.2013.219","volume":"64","author":"AG Bayrak","year":"2015","unstructured":"Bayrak, A.G., Regazzoni, F., Novo, D., Brisk, P., Standaert, F.-X., Ienne, P.: Automatic application of power analysis countermeasures. IEEE Trans. Comput. 64(2), 329\u2013341 (2015)","journal-title":"IEEE Trans. Comput."},{"key":"205_CR5","first-page":"404","volume":"2013","author":"R Beaulieu","year":"2013","unstructured":"Beaulieu, R., Shors, D., Smith, J., Treatman-Clark, S., Weeks, B., Wingers, L.: The SIMON and SPECK families of lightweight block ciphers. IACR Cryptol. 2013, 404 (2013)","journal-title":"IACR Cryptol."},{"key":"205_CR6","doi-asserted-by":"crossref","unstructured":"Bilgin, B., Gierlichs, B., Nikova, S., Nikov, V., Rijmen, V.: Higher-order threshold implementations. In: Lecture Notes in Computer Science, vol. 8874, pp. 326\u2013343. Springer (2014)","DOI":"10.1007\/978-3-662-45608-8_18"},{"key":"205_CR7","doi-asserted-by":"crossref","unstructured":"Bl\u00f6mer, J., Guajardo, J., Krummel, V.: Provably secure masking of aes. In: International Workshop on Selected Areas in Cryptography, pp. 69\u201383. Springer (2004)","DOI":"10.1007\/978-3-540-30564-4_5"},{"key":"205_CR8","first-page":"691","volume":"2015","author":"C Chen","year":"2015","unstructured":"Chen, C., Inci, M.S., Taha, M., Eisenbarth, T.: Spectre: a tiny side-channel resistant speck core for fpgas. IACR Cryptol. 2015, 691 (2015)","journal-title":"IACR Cryptol."},{"key":"205_CR9","doi-asserted-by":"crossref","unstructured":"Coron, J.-S.: Higher order masking of look-up tables. In: Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 441\u2013458. Springer (2014)","DOI":"10.1007\/978-3-642-55220-5_25"},{"key":"205_CR10","doi-asserted-by":"crossref","unstructured":"Coron, J.-S., Gro\u00dfsch\u00e4dl, J., Tibouchi, M., Vadnala, P. K.: Conversion from arithmetic to boolean masking with logarithmic complexity. In: International Workshop on Fast Software Encryption, pp. 130\u2013149. Springer (2015)","DOI":"10.1007\/978-3-662-48116-5_7"},{"key":"205_CR11","doi-asserted-by":"crossref","unstructured":"Coron, J.-S., Prouff, E., Rivain, M.: Side channel cryptanalysis of a higher order masking scheme. In: International Workshop on Cryptographic Hardware and Embedded Systems, pp. 28\u201344. Springer (2007)","DOI":"10.1007\/978-3-540-74735-2_3"},{"key":"205_CR12","first-page":"114","volume":"8559","author":"H Eldib","year":"2014","unstructured":"Eldib, H., Wang, C.: Synthesis of masking countermeasures against side channel attacks. CAV 8559, 114\u2013130 (2014)","journal-title":"CAV"},{"issue":"2","key":"205_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/2685616","volume":"24","author":"H Eldib","year":"2014","unstructured":"Eldib, H., Wang, C., Schaumont, P.: Formal verification of software countermeasures against side-channel attacks. ACM Trans. Softw. Eng. Methodol. 24(2), 11 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"10","key":"205_CR14","doi-asserted-by":"publisher","first-page":"1558","DOI":"10.1109\/TCAD.2015.2424951","volume":"34","author":"H Eldib","year":"2015","unstructured":"Eldib, H., Wang, C., Taha, M., Schaumont, P.: Quantitative masking strength: quantifying the power side-channel resistance of software code. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(10), 1558\u20131568 (2015)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"205_CR15","unstructured":"Goodwill, G., Jun, B., Jaffe, J., Rohatgi, P.: A testing methodology for side-channel resistance validation. In: NIST Non-invasive Attack Testing Workshop (2011)"},{"key":"205_CR16","doi-asserted-by":"crossref","unstructured":"Goubin, L.: A sound method for switching between boolean and arithmetic masking. In: Cryptographic Hardware and Embedded SystemsCHES 2001, pp. 3\u201315. Springer (2001)","DOI":"10.1007\/3-540-44709-1_2"},{"key":"205_CR17","doi-asserted-by":"crossref","unstructured":"Herbst, C., Oswald, E., Mangard, S.: An aes smart card implementation resistant to power analysis attacks. In: ACNS, vol. 3989, pp. 239\u2013252. Springer (2006)","DOI":"10.1007\/11767480_16"},{"key":"205_CR18","doi-asserted-by":"crossref","unstructured":"Kocher, P.C.: Timing attacks on implementations of Diffie-Hellman, rsa, dss, and other systems. In: Annual International Cryptology Conference, pp. 104\u2013113. Springer (1996)","DOI":"10.1007\/3-540-68697-5_9"},{"key":"205_CR19","unstructured":"Microsoft Research. Z3py-python interface for the z3 theorem prover (2012)"},{"key":"205_CR20","first-page":"345","volume":"2017","author":"K Papagiannopoulos","year":"2017","unstructured":"Papagiannopoulos, K., Veshchikov, N.: Mind the gap: towards secure 1st-order masking in software. IACR Cryptol. 2017, 345 (2017)","journal-title":"IACR Cryptol."},{"key":"205_CR21","doi-asserted-by":"crossref","unstructured":"Prouff, E., Rivain, M.: Masking against side-channel attacks: a formal security proof. In: Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 142\u2013159. Springer (2013)","DOI":"10.1007\/978-3-642-38348-9_9"},{"key":"205_CR22","doi-asserted-by":"crossref","unstructured":"Reparaz, O.: Detecting flawed masking schemes with leakage detection tests. In: Lecture Notes in Computer Science. Springer (2016)","DOI":"10.1007\/978-3-662-52993-5_11"},{"key":"205_CR23","doi-asserted-by":"crossref","unstructured":"Reparaz, O., Gierlichs, B., Verbauwhede, I.: Fast leakage assessment. In: International Conference on Cryptographic Hardware and Embedded Systems. Springer (2017)","DOI":"10.1007\/978-3-319-66787-4_19"},{"key":"205_CR24","doi-asserted-by":"crossref","unstructured":"Ronen, E., OFlynn, C., Shamir, A., Weingarten, A.-O.: IoT Goes Nuclear: Creating a ZigBee Chain Reaction. Technical Report 1047 (2016)","DOI":"10.1109\/SP.2017.14"},{"issue":"4","key":"205_CR25","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/TC.2016.2614504","volume":"66","author":"A Shahverdi","year":"2017","unstructured":"Shahverdi, A., Taha, M., Eisenbarth, T.: Lightweight side channel resistance: threshold implementations of simon. IEEE Trans. Comput. 66(4), 661\u2013671 (2017)","journal-title":"IEEE Trans. Comput."},{"key":"205_CR26","first-page":"138","volume":"2017","author":"F-X Standaert","year":"2017","unstructured":"Standaert, F.-X.: How (not) to use Welch\u2019s t-test in side-channel security evaluations. IACR Cryptol. 2017, 138 (2017)","journal-title":"IACR Cryptol."},{"issue":"8","key":"205_CR27","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1109\/JPROC.2014.2325397","volume":"102","author":"D Strobel","year":"2014","unstructured":"Strobel, D., Oswald, D., Richter, B., Schellenberg, F., Paar, C.: Microcontrollers as (in)security devices for pervasive computing applications. Proc. IEEE 102(8), 1157\u20131173 (2014)","journal-title":"Proc. IEEE"},{"key":"205_CR28","doi-asserted-by":"crossref","unstructured":"Veshchikov, N.: Silk: high level of abstraction leakage simulator for side channel analysis. In: Proceedings of the 4th Program Protection and Reverse Engineering Workshop. ACM (2014)","DOI":"10.1145\/2689702.2689706"}],"container-title":["Journal of Cryptographic Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-019-00205-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13389-019-00205-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-019-00205-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,15]],"date-time":"2020-03-15T00:18:02Z","timestamp":1584231482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13389-019-00205-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,16]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["205"],"URL":"https:\/\/doi.org\/10.1007\/s13389-019-00205-7","relation":{},"ISSN":["2190-8508","2190-8516"],"issn-type":[{"value":"2190-8508","type":"print"},{"value":"2190-8516","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3,16]]},"assertion":[{"value":"31 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}