{"id":"https://openalex.org/W2898321088","doi":"https://doi.org/10.1145/3276485","title":"A derivation framework for dependent security label inference","display_name":"A derivation framework for dependent security label inference","publication_year":2018,"publication_date":"2018-10-24","ids":{"openalex":"https://openalex.org/W2898321088","doi":"https://doi.org/10.1145/3276485","mag":"2898321088"},"language":"en","primary_location":{"id":"doi:10.1145/3276485","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3276485","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3276485","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":null,"license_id":null,"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/3276485","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101442384","display_name":"Peixuan Li","orcid":"https://orcid.org/0000-0003-0931-1932"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peixuan Li","raw_affiliation_strings":["Pennsylvania State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pennsylvania State University, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100722775","display_name":"Danfeng Zhang","orcid":"https://orcid.org/0000-0003-1942-6872"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Danfeng Zhang","raw_affiliation_strings":["Pennsylvania State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pennsylvania State University, USA","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130769515"],"apc_list":null,"apc_paid":null,"fwci":0.1638,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6013289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"2","issue":"OOPSLA","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":1.0,"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":1.0,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9692999720573425,"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/soundness","display_name":"Soundness","score":0.8810254335403442},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.841550886631012},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7248871922492981},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7152111530303955},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.524575412273407},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4758208096027374},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.35747092962265015},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.32346630096435547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27255403995513916},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25760072469711304},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.09444701671600342}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8810254335403442},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.841550886631012},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7248871922492981},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7152111530303955},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.524575412273407},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4758208096027374},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35747092962265015},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.32346630096435547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27255403995513916},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25760072469711304},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09444701671600342},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3276485","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3276485","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3276485","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3276485","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3276485","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3276485","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":null,"license_id":null,"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":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G2486640205","display_name":null,"funder_award_id":"CCF-1566411, CNS-1702760, CNS-1816282","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3973626247","display_name":null,"funder_award_id":"CNS-1702760","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7761247381","display_name":"SaTC: CORE: Medium: Developing for Differential Privacy with Formal Methods and Counterexamples","funder_award_id":"1702760","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2898321088.pdf","grobid_xml":"https://content.openalex.org/works/W2898321088.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W141971178","https://openalex.org/W1725973462","https://openalex.org/W1809853109","https://openalex.org/W1963954367","https://openalex.org/W1977764760","https://openalex.org/W1998003182","https://openalex.org/W1999602293","https://openalex.org/W2005192022","https://openalex.org/W2005978190","https://openalex.org/W2027584005","https://openalex.org/W2034810774","https://openalex.org/W2040152339","https://openalex.org/W2040669676","https://openalex.org/W2045041259","https://openalex.org/W2060710422","https://openalex.org/W2088923183","https://openalex.org/W2114771706","https://openalex.org/W2116469687","https://openalex.org/W2121822272","https://openalex.org/W2124798629","https://openalex.org/W2133448626","https://openalex.org/W2139093088","https://openalex.org/W2149465027","https://openalex.org/W2150174204","https://openalex.org/W2158126684","https://openalex.org/W2171182387","https://openalex.org/W2295923951","https://openalex.org/W2346134553","https://openalex.org/W2604756280","https://openalex.org/W2760684713","https://openalex.org/W2794517010","https://openalex.org/W2912931063","https://openalex.org/W2963413731","https://openalex.org/W2997271062","https://openalex.org/W4238033972","https://openalex.org/W4239433846","https://openalex.org/W4240226860","https://openalex.org/W4252361379"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W2293004035","https://openalex.org/W18781025","https://openalex.org/W188034648","https://openalex.org/W2952519015","https://openalex.org/W2155728227"],"abstract_inverted_index":{"Dependent":[0],"security":[1,87],"labels":[2,4,58],"(security":[3],"that":[5,55,138,161],"depend":[6],"on":[7,146],"program":[8],"states)":[9],"in":[10,28],"various":[11],"forms":[12],"have":[13],"been":[14],"introduced":[15],"to":[16,25,97],"express":[17],"rich":[18],"information":[19,82],"flow":[20,83],"policies.":[21],"They":[22],"are":[23,59,139],"shown":[24],"be":[26,65],"essential":[27],"the":[29,74,93,99,130,162,166],"verification":[30],"of":[31,76,105,109,148,156,168,174],"real-world":[32],"software":[33],"and":[34,47,67,101,120,142,153,176],"hardware":[35],"systems":[36],"such":[37],"as":[38,117],"conference":[39],"management":[40],"systems,":[41],"Android":[42],"Apps,":[43],"a":[44,48,157],"MIPS":[45,158],"processor":[46,159],"TrustZone-like":[49],"architecture.":[50],"However,":[51],"most":[52],"work":[53],"assumes":[54],"all":[56],"(complex)":[57],"provided":[60],"manually,":[61],"which":[62],"can":[63],"both":[64,140],"error-prone":[66],"time-consuming.":[68],"In":[69,89],"this":[70],"paper,":[71],"we":[72,91,132],"tackle":[73],"problem":[75],"automatic":[77],"label":[78,115],"inference":[79,110,116],"for":[80,123],"static":[81],"analyses":[84],"with":[85],"dependent":[86],"labels.":[88],"particular,":[90],"propose":[92,133],"first":[94],"general":[95],"framework":[96,113],"facilitate":[98],"design":[100],"validation":[102],"(in":[103],"terms":[104],"soundness":[106],"and/or":[107,125],"completeness)":[108],"algorithms.":[111],"The":[112],"models":[114],"constraint":[118,127,135],"solving":[119,136],"offers":[121,177],"guidelines":[122],"sound":[124,141],"complete":[126],"solving.":[128],"Under":[129],"framework,":[131],"novel":[134,163],"algorithms":[137,164],"complete.":[143],"Evaluation":[144],"result":[145],"sets":[147],"constraints":[149],"generated":[150],"from":[151],"secure":[152],"insecure":[154],"variants":[155],"suggests":[160],"improve":[165],"performance":[167],"an":[169],"existing":[170],"algorithm":[171],"by":[172],"orders":[173],"magnitude":[175],"better":[178],"scalability.":[179]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}