{"id":"https://openalex.org/W4407563563","doi":"https://doi.org/10.1109/tse.2025.3541810","title":"Trustworthy Distributed Certification of Program Execution","display_name":"Trustworthy Distributed Certification of Program Execution","publication_year":2025,"publication_date":"2025-02-13","ids":{"openalex":"https://openalex.org/W4407563563","doi":"https://doi.org/10.1109/tse.2025.3541810"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2025.3541810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3541810","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Alex Wolf","orcid":"https://orcid.org/0000-0002-0964-2224"},"institutions":[{"id":"https://openalex.org/I202697423","display_name":"University of Zurich","ror":"https://ror.org/02crff812","country_code":"CH","type":"education","lineage":["https://openalex.org/I202697423"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Alex Wolf","raw_affiliation_strings":["University of Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-0964-2224","affiliations":[{"raw_affiliation_string":"University of Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I202697423"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011811584","display_name":"Marco Edoardo Palma","orcid":"https://orcid.org/0000-0003-3300-4828"},"institutions":[{"id":"https://openalex.org/I202697423","display_name":"University of Zurich","ror":"https://ror.org/02crff812","country_code":"CH","type":"education","lineage":["https://openalex.org/I202697423"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Marco Edoardo Palma","raw_affiliation_strings":["University of Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-3300-4828","affiliations":[{"raw_affiliation_string":"University of Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I202697423"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035648889","display_name":"Pasquale Salza","orcid":"https://orcid.org/0000-0002-8687-052X"},"institutions":[{"id":"https://openalex.org/I202697423","display_name":"University of Zurich","ror":"https://ror.org/02crff812","country_code":"CH","type":"education","lineage":["https://openalex.org/I202697423"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Pasquale Salza","raw_affiliation_strings":["University of Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-8687-052X","affiliations":[{"raw_affiliation_string":"University of Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I202697423"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009436227","display_name":"Harald C. Gall","orcid":"https://orcid.org/0000-0002-3874-5628"},"institutions":[{"id":"https://openalex.org/I202697423","display_name":"University of Zurich","ror":"https://ror.org/02crff812","country_code":"CH","type":"education","lineage":["https://openalex.org/I202697423"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Harald C. Gall","raw_affiliation_strings":["University of Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-3874-5628","affiliations":[{"raw_affiliation_string":"University of Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I202697423"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1081,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75740074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"51","issue":"4","first_page":"1134","last_page":"1152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9947999715805054,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9700000286102295,"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/computer-science","display_name":"Computer science","score":0.8572795391082764},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.7197294235229492},{"id":"https://openalex.org/keywords/trustworthiness","display_name":"Trustworthiness","score":0.688887357711792},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5494675636291504},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4110727906227112},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4081069827079773},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2719038724899292}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8572795391082764},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.7197294235229492},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.688887357711792},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5494675636291504},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4110727906227112},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4081069827079773},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2719038724899292},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2025.3541810","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3541810","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4861447790","display_name":null,"funder_award_id":"SNSF204632","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"}],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1513879401","https://openalex.org/W1971539830","https://openalex.org/W1979461729","https://openalex.org/W2018746447","https://openalex.org/W2067700169","https://openalex.org/W2098843110","https://openalex.org/W2124706125","https://openalex.org/W2266204622","https://openalex.org/W2732894263","https://openalex.org/W2767099881","https://openalex.org/W2883585522","https://openalex.org/W2913096406","https://openalex.org/W2920877282","https://openalex.org/W2948425916","https://openalex.org/W2953333586","https://openalex.org/W2963809228","https://openalex.org/W2967277443","https://openalex.org/W2969207949","https://openalex.org/W2997681568","https://openalex.org/W2998782523","https://openalex.org/W3011082615","https://openalex.org/W3013180919","https://openalex.org/W3015329747","https://openalex.org/W3015343560","https://openalex.org/W3030345336","https://openalex.org/W3033451189","https://openalex.org/W3123417681","https://openalex.org/W3180257170","https://openalex.org/W3180349812","https://openalex.org/W3184916135","https://openalex.org/W3199968411","https://openalex.org/W4236786653","https://openalex.org/W6628297953","https://openalex.org/W6712237015","https://openalex.org/W6749892479","https://openalex.org/W6755961127","https://openalex.org/W6793285265","https://openalex.org/W6838553901"],"related_works":["https://openalex.org/W2066052364","https://openalex.org/W4243365217","https://openalex.org/W2224296908","https://openalex.org/W2023743128","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113","https://openalex.org/W645983410","https://openalex.org/W1598565505","https://openalex.org/W2064613179"],"abstract_inverted_index":{"Verifying":[0],"the":[1,12,16,33,115,139,159,166,182,203,210,233,258,320,323],"execution":[2,186,305,329],"of":[3,24,37,81,89,120,128,150,161,184,205,212,235,291,351],"a":[4,21,102,109,132,178,289,344,348],"program":[5,55,90,121,129,185,213,237],"is":[6,20,29,46],"complicated":[7],"and":[8,35,72,87,117,135,152,188,195,253,270,281,311,335],"often":[9],"limited":[10],"by":[11,215,307,314,331,338],"inability":[13],"to":[14,31,50,113,164,181,217,227,244,295,309,316,319,333,340,343],"validate":[15],"code's":[17],"correctness.":[18],"It":[19],"crucial":[22],"aspect":[23],"scientific":[25],"research,":[26],"where":[27],"it":[28,45,261],"needed":[30],"ensure":[32],"reproducibility":[34],"validity":[36],"experimental":[38],"results.":[39,91],"Similarly,":[40,322],"in":[41,131,145,148,172,197,208,251,279],"customer":[42],"software":[43],"testing,":[44],"difficult":[47],"for":[48,126,141,192,284],"customers":[49],"verify":[51],"that":[52,100],"their":[53],"specific":[54],"version":[56],"was":[57],"tested":[58],"or":[59],"executed":[60],"at":[61],"all.":[62],"Existing":[63],"state-of-the-art":[64,229],"solutions,":[65],"such":[66],"as":[67],"hardware-based":[68],"approaches,":[69],"constraint":[70],"solvers,":[71],"verifiable":[73],"computation":[74],"systems,":[75],"do":[76],"not":[77],"provide":[78],"definitive":[79],"proof":[80],"execution,":[82],"which":[83],"hinders":[84],"reliable":[85],"testing":[86],"analysis":[88],"In":[92,257],"this":[93,173,198],"paper,":[94],"we":[95],"propose":[96],"an":[97,300],"innovative":[98],"approach":[99,176,207,241,327],"combines":[101],"prototype":[103],"programming":[104],"language":[105],"called":[106],"Mona":[107],"with":[108,288],"certification":[110,127],"protocol":[111,124,167],"OCCP":[112],"enable":[114],"distributed":[116],"decentralized":[118],"re-execution":[119],"segments.":[122],"Our":[123,175,200],"allows":[125],"segments":[130],"distributed,":[133],"immutable,":[134],"trustworthy":[136],"system":[137],"without":[138],"need":[140],"naive":[142],"re-execution,":[143],"resulting":[144],"significant":[146],"improvements":[147,278],"terms":[149],"time":[151,280,306,330],"computational":[153],"resources":[154],"used.":[155],"We":[156],"also":[157],"explore":[158],"use":[160],"blockchain":[162],"technology":[163],"manage":[165],"workflow":[168],"following":[169],"other":[170],"approaches":[171],"space.":[174],"offers":[177],"promising":[179],"solution":[180],"challenges":[183],"verification":[187],"opens":[189],"up":[190,216,243,308,315,332,339],"opportunities":[191],"further":[193],"research":[194],"development":[196],"area.":[199],"findings":[201,276],"demonstrate":[202],"efficiency":[204,234,283],"our":[206,240,275],"reducing":[209],"number":[211],"executions":[214,265],"20-fold,":[218],"while":[219],"maintaining":[220],"resilience":[221,250],"against":[222],"various":[223],"malicious":[224,246,255],"attacks":[225],"compared":[226,294,318,342],"existing":[228],"methods,":[230],"thus":[231],"improving":[232],"certifying":[236],"executions.":[238],"Additionally,":[239],"handles":[242],"40%":[245],"workers":[247],"effectively,":[248],"showcasing":[249],"detecting":[252],"mitigating":[254],"behavior.":[256],"<small>EquivalentRegistersAttack</small>":[259],"scenario,":[260],"successfully":[262],"identifies":[263],"divergent":[264],"even":[266],"when":[267],"register":[268],"values":[269],"results":[271],"appear":[272],"identical.":[273],"Moreover,":[274],"highlight":[277],"gas":[282,312,336],"longer-running":[285],"problems":[286],"(scaled":[287],"multiplier":[290],"<inline-formula><tex-math":[292,352],"notation=\"LaTeX\">$1{,}000$</tex-math></inline-formula>)":[293],"baseline":[296],"methods.":[297],"Specifically,":[298],"adopting":[299],"informed":[301,324],"step":[302,325,349],"size":[303,326,350],"reduces":[304,328],"43-fold":[310],"costs":[313,337],"12-fold":[317],"baseline.":[321],"6-fold":[334],"26-fold":[341],"non-informed":[345],"variation":[346],"using":[347],"notation=\"LaTeX\">$1{,}000$</tex-math></inline-formula>.":[353]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}