{"id":"https://openalex.org/W4317928127","doi":"https://doi.org/10.1109/milcom55135.2022.10017451","title":"C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification","display_name":"C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification","publication_year":2022,"publication_date":"2022-11-28","ids":{"openalex":"https://openalex.org/W4317928127","doi":"https://doi.org/10.1109/milcom55135.2022.10017451"},"language":"en","primary_location":{"id":"doi:10.1109/milcom55135.2022.10017451","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/milcom55135.2022.10017451","pdf_url":null,"source":{"id":"https://openalex.org/S4363608114","display_name":"MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM)","raw_type":"proceedings-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":"https://openalex.org/A5056517949","display_name":"Maxwell Levatich","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Maxwell Levatich","raw_affiliation_strings":["Columbia University,Department of Computer Science,New York,NY","Department of Computer Science, Columbia University, New York, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University,Department of Computer Science,New York,NY","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, NY","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090123220","display_name":"Robert Brotzman","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136737","display_name":"Reproductive Medicine Associates of New Jersey","ror":"https://ror.org/03nyxbd27","country_code":"US","type":"other","lineage":["https://openalex.org/I4210136737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Brotzman","raw_affiliation_strings":["Peraton Labs,Basking Ridge,NJ","Peraton Labs, Basking Ridge, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peraton Labs,Basking Ridge,NJ","institution_ids":["https://openalex.org/I4210136737"]},{"raw_affiliation_string":"Peraton Labs, Basking Ridge, NJ","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023056796","display_name":"Benjamin Flin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136737","display_name":"Reproductive Medicine Associates of New Jersey","ror":"https://ror.org/03nyxbd27","country_code":"US","type":"other","lineage":["https://openalex.org/I4210136737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin Flin","raw_affiliation_strings":["Peraton Labs,Basking Ridge,NJ","Peraton Labs, Basking Ridge, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peraton Labs,Basking Ridge,NJ","institution_ids":["https://openalex.org/I4210136737"]},{"raw_affiliation_string":"Peraton Labs, Basking Ridge, NJ","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104074697","display_name":"Ta Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136737","display_name":"Reproductive Medicine Associates of New Jersey","ror":"https://ror.org/03nyxbd27","country_code":"US","type":"other","lineage":["https://openalex.org/I4210136737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ta Chen","raw_affiliation_strings":["Peraton Labs,Basking Ridge,NJ","Peraton Labs, Basking Ridge, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peraton Labs,Basking Ridge,NJ","institution_ids":["https://openalex.org/I4210136737"]},{"raw_affiliation_string":"Peraton Labs, Basking Ridge, NJ","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051985321","display_name":"Rajesh Krishnan","orcid":"https://orcid.org/0000-0001-6798-6255"},"institutions":[{"id":"https://openalex.org/I4210136737","display_name":"Reproductive Medicine Associates of New Jersey","ror":"https://ror.org/03nyxbd27","country_code":"US","type":"other","lineage":["https://openalex.org/I4210136737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajesh Krishnan","raw_affiliation_strings":["Peraton Labs,Basking Ridge,NJ","Peraton Labs, Basking Ridge, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peraton Labs,Basking Ridge,NJ","institution_ids":["https://openalex.org/I4210136737"]},{"raw_affiliation_string":"Peraton Labs, Basking Ridge, NJ","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055354961","display_name":"Stephen A. Edwards","orcid":"https://orcid.org/0000-0003-2609-4861"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen A. Edwards","raw_affiliation_strings":["Columbia University,Department of Computer Science,New York,NY","Department of Computer Science, Columbia University, New York, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University,Department of Computer Science,New York,NY","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, NY","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20249139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":null,"first_page":"285","last_page":"291"},"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.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9980000257492065,"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.8724024891853333},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.8133851289749146},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7907096147537231},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.7365835905075073},{"id":"https://openalex.org/keywords/marshalling","display_name":"Marshalling","score":0.7107053399085999},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5072152614593506},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5061778426170349},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.46534737944602966},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.46033769845962524},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.4137572646141052},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40041664242744446},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37243545055389404},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.23212414979934692},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.19781556725502014},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.14664822816848755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8724024891853333},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.8133851289749146},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7907096147537231},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.7365835905075073},{"id":"https://openalex.org/C206019424","wikidata":"https://www.wikidata.org/wiki/Q373671","display_name":"Marshalling","level":2,"score":0.7107053399085999},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5072152614593506},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5061778426170349},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.46534737944602966},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.46033769845962524},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.4137572646141052},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40041664242744446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37243545055389404},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.23212414979934692},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.19781556725502014},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.14664822816848755},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/milcom55135.2022.10017451","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/milcom55135.2022.10017451","pdf_url":null,"source":{"id":"https://openalex.org/S4363608114","display_name":"MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1725776467","https://openalex.org/W1970703176","https://openalex.org/W1972484642","https://openalex.org/W1987455670","https://openalex.org/W2003164052","https://openalex.org/W2039499923","https://openalex.org/W2054812122","https://openalex.org/W2060475972","https://openalex.org/W2134296086","https://openalex.org/W2148144728","https://openalex.org/W2152505375","https://openalex.org/W2154564703","https://openalex.org/W2162022335","https://openalex.org/W2288285441","https://openalex.org/W2508824203","https://openalex.org/W2610987005","https://openalex.org/W2766188225","https://openalex.org/W2784629571","https://openalex.org/W2886391620","https://openalex.org/W2957284992","https://openalex.org/W2988741178","https://openalex.org/W3087458664","https://openalex.org/W3125966864","https://openalex.org/W3158843495","https://openalex.org/W3164821363","https://openalex.org/W3172834714","https://openalex.org/W4231865403","https://openalex.org/W4287625450","https://openalex.org/W6638627507","https://openalex.org/W6696118695","https://openalex.org/W6742834333","https://openalex.org/W6754090108"],"related_works":["https://openalex.org/W1966526872","https://openalex.org/W2188814192","https://openalex.org/W2114705216","https://openalex.org/W3094039898","https://openalex.org/W2151761340","https://openalex.org/W1555133226","https://openalex.org/W2173238669","https://openalex.org/W2130339907","https://openalex.org/W1519114293","https://openalex.org/W2784006287"],"abstract_inverted_index":{"We":[0,50,95,124],"address":[1],"the":[2,118],"problem":[3],"of":[4,47,71],"program":[5,9,54,107],"partitioning:":[6],"dividing":[7],"a":[8,21,31,52,83],"into":[10],"isolated":[11],"compartments":[12],"that":[13,34,59,105,127],"communicate":[14],"via":[15],"remote":[16,92],"procedure":[17,93],"calls":[18],"to":[19,74,103,112],"follow":[20],"security":[22,67,119,141],"policy.":[23],"Existing":[24],"solutions":[25],"for":[26,56,88],"C":[27,53,137],"programs":[28,115],"often":[29],"use":[30],"simple":[32],"model":[33],"offers":[35],"only":[36],"\u201csensitive":[37],"or":[38],"not\u201d":[39],"control":[40],"and":[41,85,91,116],"do":[42],"not":[43],"provide":[44,96],"formal":[45],"guarantees":[46],"partition":[48,84],"correctness.":[49],"present":[51,125],"partitioner":[55],"security-conscious":[57],"applications":[58,138],"addresses":[60],"these":[61,78],"shortcomings":[62],"through":[63],"annotation":[64],"with":[65,139],"fine-grained":[66],"constraints":[68],"(chiefly,":[69],"declassification":[70],"sensitive":[72],"data":[73],"select":[75],"parties);":[76],"from":[77],"annotations,":[79],"we":[80],"automatically":[81],"determine":[82],"auto-generate":[86],"code":[87],"marshaling,":[89],"serialization,":[90],"calls.":[94],"post-partition":[97],"verification,":[98],"which":[99],"leverages":[100],"translation":[101],"validation":[102],"show":[104,128],"output":[106],"partitions":[108],"are":[109],"behaviorally":[110],"equivalent":[111],"their":[113],"input":[114],"satisfy":[117],"policy":[120],"specified":[121],"by":[122],"annotations.":[123],"results":[126],"our":[129],"approach":[130],"is":[131],"practical":[132],"when":[133],"partitioning":[134],"large":[135],"realistic":[136],"non-trivial":[140],"constraints.":[142]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}