{"id":"https://openalex.org/W4405251605","doi":"https://doi.org/10.1145/3703595.3705880","title":"Formally Verified Hardening of C Programs against Hardware Fault Injection","display_name":"Formally Verified Hardening of C Programs against Hardware Fault Injection","publication_year":2025,"publication_date":"2025-01-10","ids":{"openalex":"https://openalex.org/W4405251605","doi":"https://doi.org/10.1145/3703595.3705880"},"language":"en","primary_location":{"id":"doi:10.1145/3703595.3705880","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703595.3705880","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703595.3705880","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3703595.3705880","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026751425","display_name":"Basile Pesin","orcid":"https://orcid.org/0000-0002-3575-7770"},"institutions":[{"id":"https://openalex.org/I100296615","display_name":"\u00c9cole Nationale de l\u2019Aviation Civile","ror":"https://ror.org/022zdgq74","country_code":"FR","type":"education","lineage":["https://openalex.org/I100296615","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Basile Pesin","raw_affiliation_strings":["Ecole Nationale de l'Aviation Civile, Toulouse, France","LII - ENAC - Equipe Informatique Interactive (ENAC 7 avenue Edouard Belin CS 54055 31055 TOULOUSE Cedex 4 FRANCE - France)"],"affiliations":[{"raw_affiliation_string":"Ecole Nationale de l'Aviation Civile, Toulouse, France","institution_ids":["https://openalex.org/I100296615"]},{"raw_affiliation_string":"LII - ENAC - Equipe Informatique Interactive (ENAC 7 avenue Edouard Belin CS 54055 31055 TOULOUSE Cedex 4 FRANCE - France)","institution_ids":["https://openalex.org/I100296615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069645466","display_name":"Sylvain Boulm\u00e9","orcid":"https://orcid.org/0000-0002-9501-9606"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sylvain Boulm\u00e9","raw_affiliation_strings":["University Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, Grenoble, France","VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)","Grenoble INP ENSIMAG - \u00c9cole nationale sup\u00e9rieure d'informatique et de math\u00e9matiques appliqu\u00e9es (681 rue de la Passerelle - 38400 Saint-Martin-d'H\u00e8res - France)"],"affiliations":[{"raw_affiliation_string":"University Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006","https://openalex.org/I106785703"]},{"raw_affiliation_string":"VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Grenoble INP ENSIMAG - \u00c9cole nationale sup\u00e9rieure d'informatique et de math\u00e9matiques appliqu\u00e9es (681 rue de la Passerelle - 38400 Saint-Martin-d'H\u00e8res - France)","institution_ids":["https://openalex.org/I106785703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067069157","display_name":"David Monniaux","orcid":"https://orcid.org/0000-0001-7671-6126"},"institutions":[{"id":"https://openalex.org/I4210159245","display_name":"Institut des Sciences de l'Information et de leurs Interactions","ror":"https://ror.org/04z22qz54","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"David Monniaux","raw_affiliation_strings":["University Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, Grenoble, France","VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)","INS2I-CNRS - Institut des sciences informatiques et de leurs interactions - CNRS Sciences informatiques (CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE\r\n3 RUE MICHEL ANGE\r\n75794 PARIS CEDEX 16 - France - France)"],"affiliations":[{"raw_affiliation_string":"University Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006","https://openalex.org/I106785703"]},{"raw_affiliation_string":"VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]},{"raw_affiliation_string":"INS2I-CNRS - Institut des sciences informatiques et de leurs interactions - CNRS Sciences informatiques (CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE\r\n3 RUE MICHEL ANGE\r\n75794 PARIS CEDEX 16 - France - France)","institution_ids":["https://openalex.org/I4210159245","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007466998","display_name":"Marie-Laure Potet","orcid":"https://orcid.org/0000-0002-7070-6290"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marie-Laure Potet","raw_affiliation_strings":["University Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, Grenoble, France","Grenoble INP ENSIMAG - \u00c9cole nationale sup\u00e9rieure d'informatique et de math\u00e9matiques appliqu\u00e9es (681 rue de la Passerelle - 38400 Saint-Martin-d'H\u00e8res - France)","VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)"],"affiliations":[{"raw_affiliation_string":"University Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006","https://openalex.org/I106785703"]},{"raw_affiliation_string":"Grenoble INP ENSIMAG - \u00c9cole nationale sup\u00e9rieure d'informatique et de math\u00e9matiques appliqu\u00e9es (681 rue de la Passerelle - 38400 Saint-Martin-d'H\u00e8res - France)","institution_ids":["https://openalex.org/I106785703"]},{"raw_affiliation_string":"VERIMAG - IMAG - VERIMAG (Verimag\r\nB\u00e2timent IMAG\r\nUniversit\u00e9 Grenoble Alpes\r\n700, avenue centrale\r\n38401 Saint Martin d\u2019H\u00e8res - France)","institution_ids":["https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5026751425"],"corresponding_institution_ids":["https://openalex.org/I100296615"],"apc_list":null,"apc_paid":null,"fwci":2.7453,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88662649,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"140","last_page":"155"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hardening","display_name":"Hardening (computing)","score":0.6262592077255249},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.6014323830604553},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5861088037490845},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.42717641592025757},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25354844331741333},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.16843119263648987},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15266993641853333}],"concepts":[{"id":"https://openalex.org/C44255700","wikidata":"https://www.wikidata.org/wiki/Q978423","display_name":"Hardening (computing)","level":3,"score":0.6262592077255249},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.6014323830604553},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5861088037490845},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.42717641592025757},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25354844331741333},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.16843119263648987},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15266993641853333},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3703595.3705880","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703595.3705880","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703595.3705880","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04818801v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04818801","pdf_url":"https://hal.science/hal-04818801v1/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP\u201925), Jan 2025, Denver (CO), United States. ⟨10.1145/3703595.3705880⟩","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-04818801v2","is_oa":true,"landing_page_url":"https://hal.science/hal-04818801/document","pdf_url":"https://hal.science/hal-04818801v2/file/hal_chamois_arsene2024.pdf","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP\u201925), Jan 2025, Denver (CO), United States. ⟨10.1145/3703595.3705880⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1145/3703595.3705880","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703595.3705880","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703595.3705880","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G1211680402","display_name":null,"funder_award_id":"ANR-22-PECY-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G1718986858","display_name":null,"funder_award_id":"ANR-22-PECY-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6612625481","display_name":null,"funder_award_id":"France 2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405251605.pdf","grobid_xml":"https://content.openalex.org/works/W4405251605.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W42122073","https://openalex.org/W1590050693","https://openalex.org/W2034593585","https://openalex.org/W2069493212","https://openalex.org/W2092627953","https://openalex.org/W2099382052","https://openalex.org/W2106187462","https://openalex.org/W2109219878","https://openalex.org/W2111725598","https://openalex.org/W2126891436","https://openalex.org/W2134846212","https://openalex.org/W2154942048","https://openalex.org/W2155851497","https://openalex.org/W2258876169","https://openalex.org/W2295752850","https://openalex.org/W2330011596","https://openalex.org/W2479765057","https://openalex.org/W2773049795","https://openalex.org/W2884219450","https://openalex.org/W2886207505","https://openalex.org/W2896208500","https://openalex.org/W2903835262","https://openalex.org/W2962785744","https://openalex.org/W2995664728","https://openalex.org/W3005193866","https://openalex.org/W3080406484","https://openalex.org/W3092178913","https://openalex.org/W3126315337","https://openalex.org/W3212177851","https://openalex.org/W4229041820","https://openalex.org/W4298278800","https://openalex.org/W4298447450","https://openalex.org/W4312629814","https://openalex.org/W4318685777","https://openalex.org/W4322716434","https://openalex.org/W4376876999","https://openalex.org/W4378447648","https://openalex.org/W4386215157","https://openalex.org/W4389768609","https://openalex.org/W4391951316","https://openalex.org/W4395027802"],"related_works":["https://openalex.org/W2767601850","https://openalex.org/W2617887951","https://openalex.org/W2246057640","https://openalex.org/W2120051590","https://openalex.org/W2538450276","https://openalex.org/W1894599085","https://openalex.org/W2112914176","https://openalex.org/W2029915748","https://openalex.org/W2416955034","https://openalex.org/W2800017701"],"abstract_inverted_index":{"A":[0],"fault":[1,140,149,205],"attack":[2],"is":[3],"a":[4,78,110,148,201],"malicious":[5],"manipulation":[6],"of":[7,19,82,103,114,133,147,153,159,163,175,211],"the":[8,17,20,54,58,86,91,100,104,130,134,145,151,154,160,173,176,196,209],"hardware":[9],"(e.g.,":[10],"electromagnetic":[11],"or":[12,34,56,183],"laser":[13],"pulse)":[14],"that":[15,45,119,124],"modifies":[16],"behavior":[18,132,152],"software.":[21],"Fault":[22],"attacks":[23,179],"typically":[24],"target":[25],"sensitive":[26],"applications":[27],"such":[28],"as":[29,106,156],"cryptography":[30],"services,":[31],"authentication,":[32],"boot-loaders":[33],"firmware":[35],"updaters.":[36],"They":[37],"can":[38],"be":[39,68],"defended":[40],"against":[41],"by":[42],"adding":[43],"countermeasures,":[44],"is,":[46,125],"control":[47,101],"flow":[48,102],"checks":[49],"and":[50,207,215],"redundancies,":[51],"either":[52,181],"in":[53,57,85],"hardware,":[55],"software":[59,65],"running":[60],"on":[61,150,213],"it.":[62],"In":[63,73,188],"particular,":[64],"countermeasures":[66,98,121],"may":[67],"added":[69],"automatically":[70],"during":[71,136],"compilation.":[72],"this":[74,83,167,191],"paper,":[75],"we":[76,194],"describe":[77],"formally":[79,171],"verified":[80,88],"implementation":[81],"approach":[84],"CompCert":[87],"compiler":[89],"for":[90,203],"C":[92],"language.":[93],"We":[94,117,142,165],"implemented":[95],"two":[96],"existing":[97],"protecting":[99],"program":[105,107,135,155,198],"transformations":[108],"over":[109],"middle-end":[111],"intermediate":[112],"representation":[113],"CompCert,":[115],"RTL.":[116,164],"proved":[118],"these":[120],"are":[122,180],"correct,":[123],"they":[126],"do":[127],"not":[128],"change":[129],"observable":[131,186],"an":[137,157],"execution":[138],"without":[139],"injection.":[141],"then":[143],"modeled":[144],"effect":[146,210],"extension":[158],"semantic":[161],"model":[162,169],"used":[166],"new":[168],"to":[170,190],"prove":[172],"efficacy":[174],"countermeasure:":[177],"all":[178],"caught,":[182],"produce":[184],"no":[185],"effects.":[187],"addition":[189],"formal":[192],"reasoning,":[193],"evaluated":[195],"protected":[197],"using":[199],"Lazart,":[200],"tool":[202],"symbolic":[204],"injection,":[206],"measured":[208],"optimizations":[212],"security":[214],"performance.":[216]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}