{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:23:40Z","timestamp":1791217420038,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T00:00:00Z","timestamp":1414972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-12-1-0914"],"award-info":[{"award-number":["N00014-12-1-0914"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Madrid Region","award":["S2009TIC-1465 PROMETIDOS"],"award-info":[{"award-number":["S2009TIC-1465 PROMETIDOS"]}]},{"name":"Spanish Government","award":["TIN2009-14599 DESAFIOS 10"],"award-info":[{"award-number":["TIN2009-14599 DESAFIOS 10"]}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2012-39391-C04-01 Strongsoft"],"award-info":[{"award-number":["TIN2012-39391-C04-01 Strongsoft"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,3]]},"DOI":"10.1145\/2660267.2660304","type":"proceedings-article","created":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T13:40:05Z","timestamp":1415713205000},"page":"1016-1027","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Synthesis of Fault Attacks on Cryptographic Implementations"],"prefix":"10.1145","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Dupressoir","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre-Alain","family":"Fouque","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Rennes1 & Institut Universitaire de France, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin","family":"Gr\u00e9goire","sequence":"additional","affiliation":[{"name":"Inria, Sophia Antipolis, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Christophe","family":"Zapalowicz","sequence":"additional","affiliation":[{"name":"Inria, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_1_2_1","first-page":"125","volume-title":"Security Protocols Workshop","author":"Anderson R. J.","year":"1997","unstructured":"R. J. Anderson and M. G. Kuhn . Low cost attacks on tamper resistant devices . In Security Protocols Workshop , pages 125 -- 136 , 1997 . R. J. Anderson and M. G. Kuhn. Low cost attacks on tamper resistant devices. In Security Protocols Workshop, pages 125--136, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2011.5955015"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.021"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442529"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"G.\n      Barthe B.\n      Gregoire S.\n      Heraud and \n      S. Z.\n      Beguelin\n  . \n  Computer-aided security proofs for the working cryptographer\n  . In P. Rogaway editor CRYPTO \n  2011 volume \n  6841\n   of \n  LNCS pages \n  71\n  --\n  90\n  . \n  Springer Aug. 2011.   G. Barthe B. Gregoire S. Heraud and S. Z. Beguelin. Computer-aided security proofs for the working cryptographer. In P. Rogaway editor CRYPTO 2011 volume 6841 of LNCS pages 71--90. Springer Aug. 2011.","DOI":"10.1007\/978-3-642-22792-9_5"},{"key":"e_1_3_2_1_9_1","volume-title":"Selected Areas in Cryptology","author":"Bauer A.","year":"2013","unstructured":"A. Bauer , E. Jaulmes , E. Prouff , and J. Wild . Horizontal collision correlation attack on elliptic curves . In Selected Areas in Cryptology . Springer , 2013 . A. Bauer, E. Jaulmes, E. Prouff, and J. Wild. Horizontal collision correlation attack on elliptic curves. In Selected Areas in Cryptology. Springer, 2013."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11761679_25"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"I.\n      Biehl B.\n      Meyer and \n      V.\n      Muller\n  . \n  Differential fault attacks on elliptic curve cryptosystems\n  . In M. Bellare editor CRYPTO \n  2000 volume \n  1880\n   of \n  LNCS pages \n  131\n  --\n  146\n  . \n  Springer Aug. 2000.   I. Biehl B. Meyer and V. Muller. Differential fault attacks on elliptic curve cryptosystems. In M. Bellare editor CRYPTO 2000 volume 1880 of LNCS pages 131--146. Springer Aug. 2000.","DOI":"10.1007\/3-540-44598-6_8"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"D.\n      Boneh R. A.\n      DeMillo and \n      R. J.\n      Lipton\n  . \n  On the importance of checking cryptographic protocols for faults (extended abstract)\n  . In W. Fumy editor EUROCRYPT'97 volume \n  1233\n   of \n  LNCS pages \n  37\n  --\n  51\n  . \n  Springer May \n  1997\n  .   D. Boneh R. A. DeMillo and R. J. Lipton. On the importance of checking cryptographic protocols for faults (extended abstract). In W. Fumy editor EUROCRYPT'97 volume 1233 of LNCS pages 37--51. Springer May 1997.","DOI":"10.1007\/3-540-69053-0_4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"E.\n      Brier D.\n      Naccache P. Q.\n      Nguyen and \n      M.\n      Tibouchi\n  . \n  Modulus fault attacks against RSA-CRT signatures\n  . In B. Preneel and T. Takagi editors CHES \n  2011 volume \n  6917\n   of \n  LNCS pages \n  192\n  --\n  206\n  . \n  Springer Sept. \/ Oct. 2011.   E. Brier D. Naccache P. Q. Nguyen and M. Tibouchi. Modulus fault attacks against RSA-CRT signatures. In B. Preneel and T. Takagi editors CHES 2011 volume 6917 of LNCS pages 192--206. Springer Sept. \/ Oct. 2011.","DOI":"10.1007\/978-3-642-23951-9_13"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-013-0049-3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-003-1160-8"},{"key":"e_1_3_2_1_17_1","volume-title":"Computer Aided Verification (CAV'14)","author":"Eldib H.","year":"2014","unstructured":"H. Eldib and C. Wang . Synthesis of masking countermeasures against side channel attacks . In Computer Aided Verification (CAV'14) . Springer , 2014 . To appear. H. Eldib and C. Wang. Synthesis of masking countermeasures against side channel attacks. In Computer Aided Verification (CAV'14). Springer, 2014. To appear."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33027-8_26"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232038"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"P.-A.\n      Fouque G.\n      Martinet and \n      G.\n      Poupard\n  . \n  Attacking unbalanced RSA-CRT using SPA\n  . In C. D. Walter Cetin Kaya. Ko\u00e7 and C. Paar editors CHES \n  2003 volume \n  2779\n   of \n  LNCS pages \n  254\n  --\n  268\n  . \n  Springer Sept. 2003.  P.-A. Fouque G. Martinet and G. Poupard. Attacking unbalanced RSA-CRT using SPA. In C. D. Walter Cetin Kaya. Ko\u00e7 and C. Paar editors CHES 2003 volume 2779 of LNCS pages 254--268. Springer Sept. 2003.","DOI":"10.1007\/978-3-540-45238-6_21"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"N.\n      Gama\n     and \n      P. Q.\n      Nguyen\n  . \n  Predicting lattice reduction\n  . In N. P. Smart editor EUROCRYPT \n  2008 volume \n  4965\n   of \n  LNCS pages \n  31\n  --\n  51\n  . \n  Springer Apr. 2008.   N. Gama and P. Q. Nguyen. Predicting lattice reduction. In N. P. Smart editor EUROCRYPT 2008 volume 4965 of LNCS pages 31--51. Springer Apr. 2008.","DOI":"10.1007\/978-3-540-78967-3_3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001459900055"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-29656-7","volume-title":"Fault Analysis in Cryptography. Information Security and Cryptography","author":"Joye M.","year":"2012","unstructured":"M. Joye and M. Tunstall , editors . Fault Analysis in Cryptography. Information Security and Cryptography . Springer , 2012 . M. Joye and M. Tunstall, editors. Fault Analysis in Cryptography. Information Security and Cryptography. Springer, 2012."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1382436.1382783"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01457454"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40026-1_4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1985-0777282-X"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-014-0077-7"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33027-8_4"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30580-4_3"},{"key":"e_1_3_2_1_37_1","series-title":"LNCS","first-page":"198","volume-title":"B. S. Kaliski Jr.","author":"Nguyen P. Q.","year":"1997","unstructured":"P. Q. Nguyen and J. Stern . Merkle-Hellman revisited: A cryptoanalysis of the Qu-Vanstone cryptosystem based on group factorizations . In B. S. Kaliski Jr. , editor, CRYPTO'97, volume 1294 of LNCS , pages 198 -- 212 . Springer , Aug. 1997 . P. Q. Nguyen and J. Stern. Merkle-Hellman revisited: A cryptoanalysis of the Qu-Vanstone cryptosystem based on group factorizations. In B. S. Kaliski Jr., editor, CRYPTO'97, volume 1294 of LNCS, pages 198--212. Springer, Aug. 1997."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/648185.749906"},{"key":"e_1_3_2_1_40_1","first-page":"1","volume-title":"Journal of Cryptographic Engineering","author":"Rauzy P.","year":"2013","unstructured":"P. Rauzy and S. Guilley . A formal proof of countermeasures against fault injection attacks on CRT-RSA . Journal of Cryptographic Engineering , pages 1 -- 13 , 2013 . P. Rauzy and S. Guilley. A formal proof of countermeasures against fault injection attacks on CRT-RSA. Journal of Cryptographic Engineering, pages 1--13, 2013."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2009.38"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01581144"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"e_1_3_2_1_45_1","volume-title":"Sage Mathematics Software (Version 4.8)","author":"Stein W.","year":"2012","unstructured":"W. Stein Sage Mathematics Software (Version 4.8) . The Sage Development Team , 2012 . http:\/\/www.sagemath.org. W. Stein et al. Sage Mathematics Software (Version 4.8). The Sage Development Team, 2012. http:\/\/www.sagemath.org."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"}],"event":{"name":"CCS'14: 2014 ACM SIGSAC Conference on Computer and Communications Security","location":"Scottsdale Arizona USA","acronym":"CCS'14","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660267.2660304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2660267.2660304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:10Z","timestamp":1750229770000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2660267.2660304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,3]]},"references-count":42,"alternative-id":["10.1145\/2660267.2660304","10.1145\/2660267"],"URL":"https:\/\/doi.org\/10.1145\/2660267.2660304","relation":{},"subject":[],"published":{"date-parts":[[2014,11,3]]},"assertion":[{"value":"2014-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}