{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T21:10:16Z","timestamp":1736975416102,"version":"3.33.0"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2021YFB3100901"],"award-info":[{"award-number":["2021YFB3100901"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U23B2041","62074131"],"award-info":[{"award-number":["U23B2041","62074131"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Innovation Foundation for Doctor Dissertation of Northwestern Polytechnical University","doi-asserted-by":"publisher","award":["CX2024087"],"award-info":[{"award-number":["CX2024087"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Circuits Syst. I"],"published-print":{"date-parts":[[2025,1]]},"DOI":"10.1109\/tcsi.2024.3456787","type":"journal-article","created":{"date-parts":[[2024,9,17]],"date-time":"2024-09-17T18:57:00Z","timestamp":1726599420000},"page":"337-350","source":"Crossref","is-referenced-by-count":0,"title":["An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification"],"prefix":"10.1109","volume":"72","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-4160-3017","authenticated-orcid":false,"given":"Xingxin","family":"Wang","sequence":"first","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6738-4297","authenticated-orcid":false,"given":"Wei","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shibo","family":"Tang","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinxin","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9946-2691","authenticated-orcid":false,"given":"Huisi","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University, Xi’an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/3-540-68697-5_9"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/COMST.2017.2779824"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TCSI.2023.3288600"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-030-11333-9_1"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/AsianHOST53231.2021.9699812"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-319-18681-8_21"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/3-540-69053-0_4"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/BFb0052259"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-540-45203-4_23"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ISDPE.2007.62"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-94-007-4516-2_79"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/NTMS49979.2021.9432667"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/11889700_11"},{"key":"ref14","article-title":"Fault-algebraic attacks on inner rounds of DES","author":"Courtois","year":"2010","journal-title":"Strategies Telecom and Multimedia"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-642-23951-9_19"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/3530054"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/FDTC.2013.18"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.46586\/tches.v2020.i2.172-195"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.46586\/tches.v2018.i3.547-572"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-030-45721-1_22"},{"key":"ref21","first-page":"1","article-title":"ALAFA: Automatic leakage assessment for fault attack countermeasures","volume-title":"Proc. 56th ACM\/IEEE Design Autom. Conf. (DAC)","author":"Saha"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"447","DOI":"10.46586\/tches.v2021.i4.447-473","article-title":"FIVER\u2014Robust verification of countermeasures against fault injections","volume":"2021","author":"Richter-Brockmann","year":"2021","journal-title":"IACR Trans. Cryptograph. Hardw. Embedded Syst."},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/TCAD.2019.2897629"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.46586\/tches.v2020.i2.272-299"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"212","DOI":"10.46586\/tches.v2023.i2.212-240","article-title":"FaultMeter: Quantitative fault attack assessment of block cipher software","volume":"2023","author":"K","year":"2023","journal-title":"IACR Trans. Cryptograph. Hardw. Embedded Syst."},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/3061639.3062340"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/3410336"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.46586\/tches.v2018.i2.242-276"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/TIFS.2016.2516905"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/FDTC.2017.13"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/AsianHOST59942.2023.10409336"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-642-21040-2_15"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/FDTC.2013.16"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.46586\/tches.v2018.i3.150-172"},{"key":"ref35","first-page":"63","article-title":"FIMA: Fault intensity map analysis","volume-title":"Proc. Int. Workshop Constructive Side-Channel Anal. Secure Design","author":"Ramezanpour"},{"key":"ref36","first-page":"581","article-title":"A diagonal fault attack on the advanced encryption standard","volume":"2009","author":"Saha","year":"2009","journal-title":"IACR Cryptol. ePrint Arch."},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1109\/TVLSI.2019.2947202"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.26599\/TST.2023.9010035"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1007\/978-3-030-11333-9_5"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1109\/FDTC.2019.00012"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.29007\/fmzl"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1109\/DAC56929.2023.10247953"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"255","DOI":"10.46586\/tches.v2022.i4.255-284","article-title":"VERICA\u2014Verification of combined attacks: Automated formal verification of security against simultaneous information leakage and tampering","volume":"2022","author":"Richter-Brockmann","year":"2022","journal-title":"IACR Trans. Cryptograph. Hardw. Embedded Syst."},{"volume-title":"Galois Field Based AES Verilog Design","year":"2019","key":"ref44"},{"volume-title":"Lookup Table Based AES Verilog Design","year":"2019","key":"ref45"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1109\/EBISS.2010.5473514"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1016\/j.ipl.2010.11.011"},{"volume-title":"Trident Fault Injection Analysis Platform","year":"2018","key":"ref48"},{"volume-title":"Yosys Manual","year":"2024","author":"Wolf","key":"ref49"},{"volume-title":"Automatic Methods for Protection of Cryptographic Hardware Against Fault Attacks","year":"2022","author":"Gay","key":"ref50"}],"container-title":["IEEE Transactions on Circuits and Systems I: Regular Papers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8919\/10836116\/10681656.pdf?arnumber=10681656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T20:30:32Z","timestamp":1736973032000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10681656\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":50,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcsi.2024.3456787","relation":{},"ISSN":["1549-8328","1558-0806"],"issn-type":[{"type":"print","value":"1549-8328"},{"type":"electronic","value":"1558-0806"}],"subject":[],"published":{"date-parts":[[2025,1]]}}}