{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T15:12:37Z","timestamp":1790694757825,"version":"4.1.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,1,12]],"date-time":"2019-01-12T00:00:00Z","timestamp":1547251200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"crossref","award":["724725"],"award-info":[{"award-number":["724725"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Cryptogr Eng"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s13389-018-00202-2","type":"journal-article","created":{"date-parts":[[2019,1,11]],"date-time":"2019-01-11T23:48:54Z","timestamp":1547250534000},"page":"17-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations"],"prefix":"10.1007","volume":"10","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sonia","family":"Bela\u00efd","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Dupressoir","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre-Alain","family":"Fouque","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin","family":"Gr\u00e9goire","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois-Xavier","family":"Standaert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre-Yves","family":"Strub","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,1,12]]},"reference":[{"key":"202_CR1","first-page":"622","volume-title":"EUROCRYPT 2016, Part I, Volume 9665 of LNCS","author":"MR Albrecht","year":"2016","unstructured":"Albrecht, M.R., Paterson, K.G.: Lucky microseconds: a timing attack on Amazon\u2019s s2n implementation of TLS. In: Fischlin, M., Coron, J.-S. (eds.) EUROCRYPT 2016, Part I, Volume 9665 of LNCS, pp. 622\u2013643. Springer, Heidelberg (2016)"},{"key":"202_CR2","doi-asserted-by":"crossref","unstructured":"Barthe, G., Bela\u00efd, S., Dupressoir, F., Fouque, P.-A., Gr\u00e9goire, B.: Compositional verification of higher-order masking: application to a verifying masking compiler. Cryptology ePrint Archive, Report 2015\/506. \nhttp:\/\/eprint.iacr.org\/2015\/506","DOI":"10.1007\/978-3-662-46800-5_18"},{"key":"202_CR3","first-page":"457","volume-title":"EUROCRYPT 2015, Part I, Volume 9056 of LNCS","author":"G Barthe","year":"2015","unstructured":"Barthe, G., Bela\u00efd, S., Dupressoir, F., Fouque, P.-A., Gr\u00e9goire, B., Strub, P.-Y.: Verified proofs of higher-order masking. In: Oswald, E., Fischlin, M. (eds.) EUROCRYPT 2015, Part I, Volume 9056 of LNCS, pp. 457\u2013485. Springer, Heidelberg (2015)"},{"key":"202_CR4","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/2976749.2978427","volume-title":"ACM CCS 16","author":"G Barthe","year":"2016","unstructured":"Barthe, G., Bela\u00efd, S., Dupressoir, F., Fouque, P.-A., Gr\u00e9goire, B., Strub, P.-Y., Zucchini, R.: Strong non-interference and type-directed higher-order masking. In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S. (eds.) ACM CCS 16, pp. 116\u2013129. ACM Press, New York (2016)"},{"key":"202_CR5","first-page":"535","volume-title":"EUROCRYPT 2017, Part I, Volume 10210 of LNCS","author":"G Barthe","year":"2017","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: Coron, J.-S., Nielsen, J.B. (eds.) EUROCRYPT 2017, Part I, Volume 10210 of LNCS, pp. 535\u2013566. Springer, Heidelberg (2017)"},{"key":"202_CR6","first-page":"23","volume-title":"CHES 2016, Volume 9813 of LNCS","author":"A Battistello","year":"2016","unstructured":"Battistello, A., Coron, J.-S., Prouff, E., Zeitoun, R.: Horizontal side-channel attacks and countermeasures on the ISW masking scheme. In: Gierlichs, B., Poschmann, A.Y. (eds.) CHES 2016, Volume 9813 of LNCS, pp. 23\u201339. Springer, Heidelberg (2016)"},{"key":"202_CR7","first-page":"616","volume-title":"EUROCRYPT 2016, Part II, Volume 9666 of LNCS","author":"S Bela\u00efd","year":"2016","unstructured":"Bela\u00efd, S., Benhamouda, F., Passel\u00e8gue, A., Prouff, E., Thillard, A., Vergnaud, D.: Randomness complexity of private circuits for multiplication. In: Fischlin, M., Coron, J.-S. (eds.) EUROCRYPT 2016, Part II, Volume 9666 of LNCS, pp. 616\u2013648. Springer, Heidelberg (2016)"},{"key":"202_CR8","first-page":"742","volume-title":"CRYPTO 2015, Part I, Volume 9215 of LNCS","author":"C Carlet","year":"2015","unstructured":"Carlet, C., Prouff, E., Rivain, M., Roche, T.: Algebraic decomposition for probing security. In: Gennaro, R., Robshaw, M.J.B. (eds.) CRYPTO 2015, Part I, Volume 9215 of LNCS, pp. 742\u2013763. Springer, Heidelberg (2015)"},{"key":"202_CR9","first-page":"438","volume":"2018","author":"G Cassiers","year":"2018","unstructured":"Cassiers, G., Standaert, F.-X.: Improved bitslice masking: from optimized non-interference to probe isolation. IACR Cryptol. ePrint Arch. 2018, 438 (2018)","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"202_CR10","first-page":"441","volume-title":"EUROCRYPT 2014, Volume 8441 of LNCS","author":"J-S Coron","year":"2014","unstructured":"Coron, J.-S.: Higher order masking of look-up tables. In: Nguyen, P.Q., Oswald, E. (eds.) EUROCRYPT 2014, Volume 8441 of LNCS, pp. 441\u2013458. Springer, Heidelberg (2014)"},{"key":"202_CR11","first-page":"28","volume-title":"CHES 2007, Volume 4727 of LNCS","author":"J-S Coron","year":"2007","unstructured":"Coron, J.-S., Prouff, E., Rivain, M.: Side channel cryptanalysis of a higher order masking scheme. In: Paillier, P., Verbauwhede, I. (eds.) CHES 2007, Volume 4727 of LNCS, pp. 28\u201344. Springer, Heidelberg (2007)"},{"key":"202_CR12","first-page":"410","volume-title":"FSE 2013, Volume 8424 of LNCS","author":"J-S Coron","year":"2014","unstructured":"Coron, J.-S., Prouff, E., Rivain, M., Roche, T.: Higher-order side channel security and mask refreshing. In: Moriai, S. (ed.) FSE 2013, Volume 8424 of LNCS, pp. 410\u2013424. Springer, Heidelberg (2014)"},{"key":"202_CR13","first-page":"423","volume-title":"EUROCRYPT 2014, Volume 8441 of LNCS","author":"A Duc","year":"2014","unstructured":"Duc, A., Dziembowski, S., Faust, S.: Unifying leakage models: from probing attacks to noisy leakage. In: Nguyen, P.Q., Oswald, E. (eds.) EUROCRYPT 2014, Volume 8441 of LNCS, pp. 423\u2013440. Springer, Heidelberg (2014)"},{"key":"202_CR14","first-page":"401","volume-title":"EUROCRYPT 2015, Part I, Volume 9056 of LNCS","author":"A Duc","year":"2015","unstructured":"Duc, A., Faust, S., Standaert, F.-X.: Making masking security proofs concrete\u2014or how to evaluate the security of any leaking device. In: Oswald, E., Fischlin, M. (eds.) EUROCRYPT 2015, Part I, Volume 9056 of LNCS, pp. 401\u2013429. Springer, Heidelberg (2015)"},{"key":"202_CR15","first-page":"135","volume-title":"EUROCRYPT 2010, Volume 6110 of LNCS","author":"S Faust","year":"2010","unstructured":"Faust, S., Rabin, T., Reyzin, L., Tromer, E., Vaikuntanathan, V.: Protecting circuits from leakage: the computationally-bounded and noisy cases. In: Gilbert, H. (ed.) EUROCRYPT 2010, Volume 6110 of LNCS, pp. 135\u2013156. Springer, Heidelberg (2010)"},{"key":"202_CR16","doi-asserted-by":"crossref","unstructured":"Fischer, W., Homma, N. (eds.): Cryptographic Hardware and Embedded Systems\u2014CHES 2017\u201419th International Conference, Taipei, Taiwan, September 25\u201328, 2017, Proceedings, Volume 10529 of Lecture Notes in Computer Science. Springer (2017)","DOI":"10.1007\/978-3-319-66787-4"},{"key":"202_CR17","doi-asserted-by":"publisher","first-page":"1626","DOI":"10.1145\/2976749.2978353","volume-title":"ACM CCS 16","author":"D Genkin","year":"2016","unstructured":"Genkin, D., Pachmanov, L., Pipman, I., Tromer, E., Yarom, Y.: ECDSA key extraction from mobile devices via nonintrusive physical side channels. In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S. (eds.) ACM CCS 16, pp. 1626\u20131638. ACM Press, New York (2016)"},{"key":"202_CR18","first-page":"567","volume-title":"EUROCRYPT 2017, Part I, Volume 10210 of LNCS","author":"D Goudarzi","year":"2017","unstructured":"Goudarzi, D., Rivain, M.: How fast can higher-order masking be in software? In: Coron, J.-S., Nielsen, J.B. (eds.) EUROCRYPT 2017, Part I, Volume 10210 of LNCS, pp. 567\u2013597. Springer, Heidelberg (2017)"},{"key":"202_CR19","doi-asserted-by":"crossref","unstructured":"Gro\u00df, H., Mangard, S.: Reconciling d+1 masking in hardware and software. In: Fischer, W., Homma, N. (eds.): Cryptographic Hardware and Embedded Systems\u2014CHES 2017\u201419th International Conference, Taipei, Taiwan, September 25\u201328, 2017, Proceedings, Volume 10529 of Lecture Notes in Computer Science, pp. 115\u2013136. Springer (2017)","DOI":"10.1007\/978-3-319-66787-4_6"},{"key":"202_CR20","unstructured":"Gruss, D., Spreitzer, R., Mangard, S.: Cache template attacks: automating attacks on inclusive last-level caches. In: 24th USENIX Security Symposium, USENIX Security 15, Washington, DC, USA, August 12\u201314, 2015, pp. 897\u2013912 (2015)"},{"key":"202_CR21","first-page":"463","volume-title":"CRYPTO 2003, Volume 2729 of LNCS","author":"Y Ishai","year":"2003","unstructured":"Ishai, Y., Sahai, A., Wagner, D.: Private circuits: securing hardware against probing attacks. In: Boneh, D. (ed.) CRYPTO 2003, Volume 2729 of LNCS, pp. 463\u2013481. Springer, Heidelberg (2003)"},{"key":"202_CR22","doi-asserted-by":"crossref","unstructured":"Journault, A., Standaert, F.-X.: Very high order masking: efficient implementation and security evaluation. In: Fischer, W., Homma, N. (eds.): Cryptographic Hardware and Embedded Systems\u2014CHES 2017\u201419th International Conference, Taipei, Taiwan, September 25\u201328, 2017, Proceedings, Volume 10529 of Lecture Notes in Computer Science, pp. 623\u2013643. Springer (2017)","DOI":"10.1007\/978-3-319-66787-4_30"},{"key":"202_CR23","first-page":"388","volume-title":"CRYPTO\u201999, Volume 1666 of LNCS","author":"PC Kocher","year":"1999","unstructured":"Kocher, P.C., Jaffe, J., Jun, B.: Differential power analysis. In: Wiener, M.J. (ed.) CRYPTO\u201999, Volume 1666 of LNCS, pp. 388\u2013397. Springer, Heidelberg (1999)"},{"key":"202_CR24","first-page":"142","volume-title":"EUROCRYPT 2013, Volume 7881 of LNCS","author":"E Prouff","year":"2013","unstructured":"Prouff, E., Rivain, M.: Masking against side-channel attacks: a formal security proof. In: Johansson, T., Nguyen, P.Q. (eds.) EUROCRYPT 2013, Volume 7881 of LNCS, pp. 142\u2013159. Springer, Heidelberg (2013)"},{"key":"202_CR25","doi-asserted-by":"crossref","unstructured":"Rivain, M., Prouff, E.: Provably secure higher-order masking of AES. In: CHES, Volume 6225 of Lecture Notes in Computer Science, pp. 413\u2013427. Springer (2010)","DOI":"10.1007\/978-3-642-15031-9_28"},{"key":"202_CR26","first-page":"208","volume-title":"CT-RSA 2006, Volume 3860 of LNCS","author":"K Schramm","year":"2006","unstructured":"Schramm, K., Paar, C.: Higher order masking of the AES. In: Pointcheval, D. (ed.) CT-RSA 2006, Volume 3860 of LNCS, pp. 208\u2013225. Springer, Heidelberg (2006)"},{"issue":"1","key":"202_CR27","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/s00145-009-9049-y","volume":"23","author":"E Tromer","year":"2010","unstructured":"Tromer, E., Osvik, D.A., Shamir, A.: Efficient cache attacks on AES, and countermeasures. J. Cryptol. 23(1), 62\u201374 (2010)","journal-title":"J. Cryptol."}],"container-title":["Journal of Cryptographic Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-018-00202-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13389-018-00202-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13389-018-00202-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T09:51:01Z","timestamp":1585821061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13389-018-00202-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,12]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["202"],"URL":"https:\/\/doi.org\/10.1007\/s13389-018-00202-2","relation":{},"ISSN":["2190-8508","2190-8516"],"issn-type":[{"value":"2190-8508","type":"print"},{"value":"2190-8516","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,12]]},"assertion":[{"value":"22 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 January 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}