{"id":"https://openalex.org/W4411267035","doi":"https://doi.org/10.1145/3729329","title":"Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture","display_name":"Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411267035","doi":"https://doi.org/10.1145/3729329"},"language":"en","primary_location":{"id":"doi:10.1145/3729329","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729329","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729329","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3729329","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076284054","display_name":"Angus Hammond","orcid":"https://orcid.org/0000-0001-9156-9240"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Angus Hammond","raw_affiliation_strings":["University of Cambridge, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-9156-9240","affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060550686","display_name":"Ricardo Almeida","orcid":"https://orcid.org/0009-0000-1667-1683"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ricardo Almeida","raw_affiliation_strings":["University of Glasgow, Glasgow, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0000-1667-1683","affiliations":[{"raw_affiliation_string":"University of Glasgow, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077409348","display_name":"Thomas Bauerei\u00df","orcid":"https://orcid.org/0000-0001-9607-8942"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thomas Bauereiss","raw_affiliation_strings":["University of Cambridge, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-9607-8942","affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045816546","display_name":"B. K. Campbell","orcid":"https://orcid.org/0000-0001-6941-5034"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Brian Campbell","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-6941-5034","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012316819","display_name":"Ian Stark","orcid":"https://orcid.org/0000-0001-6800-812X"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ian Stark","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-6800-812X","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083405043","display_name":"Peter Sewell","orcid":"https://orcid.org/0000-0001-9352-1013"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Peter Sewell","raw_affiliation_strings":["University of Cambridge, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-9352-1013","affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4401,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.89794384,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"9","issue":"PLDI","first_page":"1961","last_page":"1983"},"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.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/encapsulation","display_name":"Encapsulation (networking)","score":0.7538814544677734},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5994287729263306},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5368837118148804},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5022497177124023},{"id":"https://openalex.org/keywords/hardware-architecture","display_name":"Hardware architecture","score":0.47002077102661133},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.45494839549064636},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.4475213587284088},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.41731297969818115},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3143814206123352},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13676559925079346},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.09383460879325867},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07086068391799927}],"concepts":[{"id":"https://openalex.org/C81147070","wikidata":"https://www.wikidata.org/wiki/Q1172449","display_name":"Encapsulation (networking)","level":2,"score":0.7538814544677734},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5994287729263306},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5368837118148804},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5022497177124023},{"id":"https://openalex.org/C65232700","wikidata":"https://www.wikidata.org/wiki/Q5656403","display_name":"Hardware architecture","level":3,"score":0.47002077102661133},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.45494839549064636},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.4475213587284088},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41731297969818115},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3143814206123352},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13676559925079346},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.09383460879325867},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07086068391799927},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3729329","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729329","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729329","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:eprints.gla.ac.uk:354740","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/80256.html>,","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference Proceedings"},{"id":"pmh:oai:pure.ed.ac.uk:publications/04242f30-c31e-4095-b228-38cde13908f4","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/04242f30-c31e-4095-b228-38cde13908f4","pdf_url":"https://www.research.ed.ac.uk/files/632157755/HammondEtalPACMPL2025Morello-CeriseAProofofStrongEncapsulation.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"Hammond, A, Almeida, R, Bauereiss, T, Campbell, B, Stark, I & Sewell, P 2025, 'Morello-Cerise : A proof of strong encapsulation for the Arm Morello capability hardware architecture ', Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, 226, pp. 1961-1983. https://doi.org/10.1145/3729329","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/04242f30-c31e-4095-b228-38cde13908f4","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/04242f30-c31e-4095-b228-38cde13908f4","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"Hammond, A, Almeida, R, Bauereiss, T, Campbell, B, Stark, I & Sewell, P 2025, 'Morello-Cerise : A proof of strong encapsulation for the Arm Morello capability hardware architecture ', Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, 226, pp. 1961-1983. https://doi.org/10.1145/3729329","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3729329","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729329","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729329","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1210808807","display_name":"Isaac Newton Institute for Mathematical Sciences (INI)","funder_award_id":"EP/Z000580/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2768753532","display_name":null,"funder_award_id":"EP\\/Y035976\\/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4180930895","display_name":"SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics","funder_award_id":"EP/Y035976/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5487664985","display_name":null,"funder_award_id":"789108","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G6468673874","display_name":null,"funder_award_id":"789108","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6960973820","display_name":null,"funder_award_id":"EP/Z000580/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G8943170732","display_name":"Digital Security by Design (DSbD) Technology Platform Prototype","funder_award_id":"105694","funder_id":"https://openalex.org/F4320335087","funder_display_name":"Innovate UK"}],"funders":[{"id":"https://openalex.org/F4320314707","display_name":"Government of the United Kingdom","ror":"https://ror.org/05wnh3t63"},{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"},{"id":"https://openalex.org/F4320335087","display_name":"Innovate UK","ror":"https://ror.org/05ar5fy68"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411267035.pdf","grobid_xml":"https://content.openalex.org/works/W4411267035.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W2517996894","https://openalex.org/W2901454403","https://openalex.org/W2974073952","https://openalex.org/W3113614934","https://openalex.org/W3184568883","https://openalex.org/W3211661085","https://openalex.org/W4225163108","https://openalex.org/W4281916531","https://openalex.org/W4293812490","https://openalex.org/W4376130811","https://openalex.org/W4386746600","https://openalex.org/W4388857031","https://openalex.org/W4389491878","https://openalex.org/W4394999111","https://openalex.org/W4401594505","https://openalex.org/W6949350328"],"related_works":["https://openalex.org/W2277514059","https://openalex.org/W4395456051","https://openalex.org/W1548373682","https://openalex.org/W2233266406","https://openalex.org/W4210441588","https://openalex.org/W2913147969","https://openalex.org/W2544482289","https://openalex.org/W3152699334","https://openalex.org/W2154401804","https://openalex.org/W2127430515"],"abstract_inverted_index":{"When":[0],"designing":[1],"new":[2],"architectural":[3],"security":[4,115,241,266],"mechanisms,":[5],"a":[6,153,159,183,215,222],"key":[7],"question":[8],"is":[9,112],"whether":[10],"they":[11],"actually":[12],"provide":[13,37],"the":[14,40,57,85,100,176,188,206,227,239],"intended":[15],"security,":[16],"but":[17,135],"this":[18,81],"has":[19,127],"historically":[20],"been":[21,130],"very":[22],"hard":[23],"to":[24,121,140,253],"assess.":[25],"One":[26],"cannot":[27],"gain":[28,51],"much":[29],"confidence":[30,52],"by":[31,53,93,99],"testing,":[32],"as":[33,56,91],"such":[34,210,262],"mechanisms":[35,148,267],"should":[36],"protection":[38],"in":[39,80,96,108,175,225,235],"presence":[41,177],"of":[42,59,69,71,73,88,143,167,178,187,203,209,243,265],"arbitrary":[43,179,244],"unknown":[44],"code.":[45,125],"Previously,":[46],"one":[47,259],"also":[48],"could":[49],"not":[50,138],"mechanised":[54],"proof,":[55],"scale":[58,139],"production":[60],"instruction-set":[61],"architecture":[62,104],"(ISA)":[63],"designs,":[64],"many":[65],"tens":[66],"or":[67],"hundreds":[68],"thousands":[70],"lines":[72,202],"specification,":[74],"made":[75],"that":[76,136,149,173],"prohibitive.":[77],"We":[78,157],"focus":[79],"paper":[82],"especially":[83],"on":[84,171],"secure":[86,161],"encapsulation":[87,111,162,212],"software":[89],"components,":[90],"supported":[92],"CHERI":[94],"architectures":[95],"general":[97],"and":[98,105,120,198,238],"Arm":[101],"Morello":[102,145,189,245],"prototype":[103],"hardware":[106],"design":[107],"particular.":[109],"Secure":[110],"an":[113,165,211],"essential":[114],"mechanism,":[116],"for":[117,164,214,230,250,268],"fault":[118],"isolation":[119],"constrain":[122],"untrusted":[123,180],"third-party":[124],"It":[126],"previously":[128,247],"often":[129],"implemented":[131],"using":[132,221],"virtual":[133],"memory,":[134],"does":[137],"large":[141],"numbers":[142],"compartments.":[144],"provides":[146],"capability-based":[147],"do":[150,192],"scale,":[151],"within":[152],"single":[154],"address":[155],"space.":[156],"prove":[158,261],"strong":[160,263],"property":[163,213],"example":[166],"encapsulated":[168],"code":[169,234],"running":[170],"Morello,":[172],"holds":[174],"code,":[181,246],"above":[182],"full-scale":[184,269],"sequential":[185],"model":[186],"ISA.":[190],"To":[191],"so,":[193],"we":[194],"build":[195],"on,":[196],"extend,":[197],"unify":[199],"three":[200],"orthogonal":[201],"previous":[204],"work:":[205],"Cerise":[207],"proof":[208],"highly":[216],"idealised":[217],"capability":[218],"machine,":[219],"expressed":[220],"logical":[223],"relation":[224],"Iris;":[226],"Islaris":[228],"approach":[229],"reasoning":[231],"about":[232],"known":[233],"production-scale":[236],"ISAs;":[237],"T-CHERI":[240],"properties":[242,264],"proved":[248],"only":[249],"executions":[251],"up":[252],"domain":[254],"crossing.":[255],"This":[256],"demonstrates":[257],"how":[258],"can":[260],"industry":[270],"architectures.":[271]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}