{"id":"https://openalex.org/W4399889523","doi":"https://doi.org/10.1145/3661814.3662100","title":"Declassification Policy for Program Complexity Analysis","display_name":"Declassification Policy for Program Complexity Analysis","publication_year":2024,"publication_date":"2024-06-21","ids":{"openalex":"https://openalex.org/W4399889523","doi":"https://doi.org/10.1145/3661814.3662100"},"language":"en","primary_location":{"id":"doi:10.1145/3661814.3662100","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3661814.3662100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-04742085/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079538761","display_name":"Emmanuel Hainry","orcid":"https://orcid.org/0000-0002-9750-0460"},"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/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Emmanuel Hainry","raw_affiliation_strings":["CNRS, Inria and Universit\u00e9 de Lorraine, LORIA, Nancy, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Inria and Universit\u00e9 de Lorraine, LORIA, Nancy, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080474978","display_name":"Bruce M. Kapron","orcid":"https://orcid.org/0000-0002-3295-543X"},"institutions":[{"id":"https://openalex.org/I212119943","display_name":"University of Victoria","ror":"https://ror.org/04s5mat29","country_code":"CA","type":"education","lineage":["https://openalex.org/I212119943"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Bruce Kapron","raw_affiliation_strings":["University of Victoria, Victoria, BC, Canada","UVIC - University of Victoria [Canada] (University of Victoria\r\n3800 Finnerty Road\r\nVictoria BC V8P 5C2\r\nCanada - Canada)"],"affiliations":[{"raw_affiliation_string":"University of Victoria, Victoria, BC, Canada","institution_ids":["https://openalex.org/I212119943"]},{"raw_affiliation_string":"UVIC - University of Victoria [Canada] (University of Victoria\r\n3800 Finnerty Road\r\nVictoria BC V8P 5C2\r\nCanada - Canada)","institution_ids":["https://openalex.org/I212119943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106028817","display_name":"Jean-Yves Marion","orcid":"https://orcid.org/0009-0002-8262-3887"},"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/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Yves Marion","raw_affiliation_strings":["CNRS, Inria and Universit\u00e9 de Lorraine, LORIA, Nancy, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Inria and Universit\u00e9 de Lorraine, LORIA, Nancy, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051353259","display_name":"Romain P\u00e9choux","orcid":"https://orcid.org/0000-0003-0601-5425"},"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/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Romain P\u00e9choux","raw_affiliation_strings":["CNRS, Inria and Universit\u00e9 de Lorraine, LORIA, Nancy, France"],"affiliations":[{"raw_affiliation_string":"CNRS, Inria and Universit\u00e9 de Lorraine, LORIA, Nancy, France","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I90183372","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5079538761"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210121838","https://openalex.org/I90183372"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07091082,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"14"},"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.9988999962806702,"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.9988999962806702,"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.9976999759674072,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9911999702453613,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7433907389640808},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45205965638160706},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3580005168914795}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7433907389640808},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45205965638160706},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3580005168914795}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3661814.3662100","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3661814.3662100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04742085v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04742085","pdf_url":"https://inria.hal.science/hal-04742085/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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://lics.siglog.org/lics24/index.php","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04742085v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04742085","pdf_url":"https://inria.hal.science/hal-04742085/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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://lics.siglog.org/lics24/index.php","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1345869732","display_name":null,"funder_award_id":"RGPIN-2021-02481","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G1597412403","display_name":null,"funder_award_id":"RGPIN-","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6221715925","display_name":null,"funder_award_id":"RGPIN","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8105784103","display_name":null,"funder_award_id":"RGPIN-202","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399889523.pdf","grobid_xml":"https://content.openalex.org/works/W4399889523.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W22044255","https://openalex.org/W1608883294","https://openalex.org/W1699577049","https://openalex.org/W1965442792","https://openalex.org/W1977764760","https://openalex.org/W1980256844","https://openalex.org/W1993941352","https://openalex.org/W2009621880","https://openalex.org/W2025581658","https://openalex.org/W2069301430","https://openalex.org/W2069792094","https://openalex.org/W2075380453","https://openalex.org/W2080914957","https://openalex.org/W2096339817","https://openalex.org/W2105438076","https://openalex.org/W2110904621","https://openalex.org/W2128968863","https://openalex.org/W2150174204","https://openalex.org/W2150963700","https://openalex.org/W2152116576","https://openalex.org/W2154564703","https://openalex.org/W2158126684","https://openalex.org/W2269082851","https://openalex.org/W2295903522","https://openalex.org/W2964137868","https://openalex.org/W2964168620","https://openalex.org/W3022332613","https://openalex.org/W3028608028","https://openalex.org/W3193940692","https://openalex.org/W3195668155","https://openalex.org/W4226074176","https://openalex.org/W4293059963","https://openalex.org/W4315605898","https://openalex.org/W4394002283","https://openalex.org/W4409138897"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"In":[0],"automated":[1],"complexity":[2,21],"analysis,":[3],"noninterference-based":[4,125],"type":[5],"systems":[6],"statically":[7],"guarantee,":[8],"via":[9],"soundness,":[10],"the":[11,24,129,132,141],"property":[12],"that":[13,92],"well-typed":[14],"programs":[15,122],"compute":[16],"functions":[17,28,43,149],"of":[18,27,65,85,131,140,144],"a":[19,67,83,89,100,110,137,151],"given":[20],"class,":[22],"e.g.,":[23],"class":[25,142],"FP":[26],"computable":[29,148],"in":[30,99,150,167],"polynomial":[31,146,168],"time.":[32,169],"These":[33],"characterizations":[34],"are":[35,46,54],"also":[36,135],"extensionally":[37],"complete":[38,49],"-":[39,44],"they":[40],"capture":[41],"all":[42],"but":[45],"not":[47],"intensionally":[48],"as":[50],"some":[51],"polytime":[52],"algorithms":[53],"rejected.":[55],"This":[56],"impact":[57],"on":[58,88],"expressive":[59],"power":[60],"is":[61,80,161],"an":[62,74],"unavoidable":[63],"cost":[64],"achieving":[66],"tractable":[68],"characterization.":[69],"To":[70],"circumvent":[71],"this":[72,106],"issue,":[73],"avenue":[75],"arising":[76],"from":[77],"security":[78],"applications":[79],"to":[81,96],"find":[82],"relaxation":[84],"noninterference":[86],"based":[87],"declassification":[90,114],"mechanism":[91],"allows":[93],"critical":[94],"data":[95],"be":[97,165],"released":[98],"safe":[101],"and":[102,112,118],"controlled":[103],"manner.":[104],"Following":[105],"path,":[107],"we":[108],"present":[109],"new":[111,138],"intuitive":[113],"policy":[115],"preserving":[116],"FP-soundness":[117],"capturing":[119],"strictly":[120],"more":[121],"than":[123],"existing":[124],"systems.":[126],"We":[127],"show":[128],"versatility":[130],"approach:":[133],"it":[134,163],"provides":[136],"characterization":[139],"BFF":[143],"second-order":[145,152],"time":[147],"imperative":[153],"language,":[154],"with":[155],"first-order":[156],"procedure":[157],"calls.":[158],"Type":[159],"inference":[160],"tractable:":[162],"can":[164],"done":[166]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}