{"id":"https://openalex.org/W6910502403","doi":"https://doi.org/10.48550/arxiv.2505.12210","title":"Nonmalleable Progress Leakage","display_name":"Nonmalleable Progress Leakage","publication_year":2025,"publication_date":"2025-05-18","ids":{"openalex":"https://openalex.org/W6910502403","doi":"https://doi.org/10.48550/arxiv.2505.12210"},"language":"en","primary_location":{"id":"doi:10.48550/arxiv.2505.12210","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2505.12210","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2505.12210","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Cecchetti, Ethan","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Cecchetti, Ethan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9909999966621399,"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.9909999966621399,"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/T10927","display_name":"Access Control and Trust","score":0.002300000051036477,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/leakage","display_name":"Leakage (economics)","score":0.7821000218391418},{"id":"https://openalex.org/keywords/information-leakage","display_name":"Information leakage","score":0.4537000060081482},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.3743000030517578},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.36660000681877136},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.33809998631477356},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3224000036716461}],"concepts":[{"id":"https://openalex.org/C2777042071","wikidata":"https://www.wikidata.org/wiki/Q6509304","display_name":"Leakage (economics)","level":2,"score":0.7821000218391418},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6384000182151794},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.602400004863739},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.4537000060081482},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.4059000015258789},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3743000030517578},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.36660000681877136},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3224000036716461},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.30469998717308044},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2840000092983246},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.2621000111103058},{"id":"https://openalex.org/C178148461","wikidata":"https://www.wikidata.org/wiki/Q1632136","display_name":"Security controls","level":3,"score":0.26190000772476196},{"id":"https://openalex.org/C2986045029","wikidata":"https://www.wikidata.org/wiki/Q294240","display_name":"Public security","level":2,"score":0.25369998812675476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2505.12210","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2505.12210","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2505.12210","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2505.12210","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5903321504592896}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Information-flow":[0],"control":[1],"systems":[2],"often":[3],"enforce":[4],"progress-insensitive":[5,73],"noninterference,":[6],"as":[7],"it":[8,77],"is":[9],"simple":[10],"to":[11,19,54,66,89,102,114],"understand":[12],"and":[13,22,52,72,75,110],"enforce.":[14],"Unfortunately,":[15],"real":[16],"programs":[17],"need":[18],"declassify":[20],"results":[21],"endorse":[23],"inputs,":[24],"which":[25,38],"noninterference":[26,74],"disallows,":[27],"while":[28,107],"preventing":[29],"attackers":[30],"from":[31],"controlling":[32],"leakage,":[33],"including":[34],"through":[35],"progress":[36,61,92,105,120],"channels,":[37],"progress-insensitivity":[39],"ignores.":[40],"This":[41],"work":[42],"combines":[43],"ideas":[44],"for":[45],"progress-sensitive":[46,71],"security":[47],"with":[48,78],"secure":[49,87,119],"downgrading":[50,60],"(declassification":[51],"endorsement)":[53],"identify":[55],"a":[56],"notion":[57],"of":[58,86,118],"securely":[59],"information.":[62],"We":[63,95],"use":[64],"hyperproperties":[65],"distill":[67],"the":[68,97,116],"separation":[69],"between":[70],"combine":[76],"nonmalleable":[79,91],"information":[80],"flow,":[81],"an":[82],"existing":[83],"(progress-insensitive)":[84],"definition":[85],"downgrading,":[88],"define":[90],"leakage":[93,106],"(NMPL).":[94],"present":[96],"first":[98],"information-flow":[99],"type":[100],"system":[101],"allow":[103],"some":[104],"enforcing":[108],"NMPL,":[109],"we":[111],"show":[112],"how":[113],"infer":[115],"location":[117],"downgrades.":[121],"All":[122],"theorems":[123],"are":[124],"verified":[125],"in":[126],"Rocq.":[127]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}