{"id":"https://openalex.org/W4313549794","doi":"https://doi.org/10.1145/3551349.3556947","title":"Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage","display_name":"Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage","publication_year":2022,"publication_date":"2022-10-10","ids":{"openalex":"https://openalex.org/W4313549794","doi":"https://doi.org/10.1145/3551349.3556947"},"language":"en","primary_location":{"id":"doi:10.1145/3551349.3556947","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556947","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556947","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556947","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048083314","display_name":"\u0130brahim Me\u015fecan","orcid":"https://orcid.org/0000-0001-6472-2078"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ibrahim Mesecan","raw_affiliation_strings":["Iowa State University, USA"],"raw_orcid":"https://orcid.org/0000-0001-6472-2078","affiliations":[{"raw_affiliation_string":"Iowa State University, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058734486","display_name":"Daniel Blackwell","orcid":"https://orcid.org/0000-0001-7320-9057"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Daniel Blackwell","raw_affiliation_strings":["University College London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-7320-9057","affiliations":[{"raw_affiliation_string":"University College London, United Kingdom","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013673413","display_name":"David Clark","orcid":"https://orcid.org/0000-0002-7004-934X"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Clark","raw_affiliation_strings":["University College London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-7004-934X","affiliations":[{"raw_affiliation_string":"University College London, United Kingdom","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020147981","display_name":"Myra B. Cohen","orcid":"https://orcid.org/0000-0003-2443-2425"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Myra Cohen","raw_affiliation_strings":["Iowa State University, United States of America"],"raw_orcid":"https://orcid.org/0000-0003-2443-2425","affiliations":[{"raw_affiliation_string":"Iowa State University, United States of America","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065281209","display_name":"Justyna Petke","orcid":"https://orcid.org/0000-0002-7833-6044"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Justyna Petke","raw_affiliation_strings":["University College London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-7833-6044","affiliations":[{"raw_affiliation_string":"University College London, United Kingdom","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.996999979019165,"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/information-leakage","display_name":"Information leakage","score":0.7794747948646545},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7742801904678345},{"id":"https://openalex.org/keywords/leakage","display_name":"Leakage (economics)","score":0.7273548245429993},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7183802723884583},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.492950439453125},{"id":"https://openalex.org/keywords/information-sensitivity","display_name":"Information sensitivity","score":0.4354637563228607},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3479768931865692},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3394073247909546},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1742476224899292},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14808329939842224}],"concepts":[{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.7794747948646545},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7742801904678345},{"id":"https://openalex.org/C2777042071","wikidata":"https://www.wikidata.org/wiki/Q6509304","display_name":"Leakage (economics)","level":2,"score":0.7273548245429993},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7183802723884583},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.492950439453125},{"id":"https://openalex.org/C137822555","wikidata":"https://www.wikidata.org/wiki/Q2587068","display_name":"Information sensitivity","level":2,"score":0.4354637563228607},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3479768931865692},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3394073247909546},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1742476224899292},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14808329939842224},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3551349.3556947","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556947","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556947","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3551349.3556947","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556947","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556947","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6200000047683716}],"awards":[{"id":"https://openalex.org/G1646800841","display_name":null,"funder_award_id":"EP/P023991/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G2073061185","display_name":"Automated Software Specialisation Using Genetic Improvement","funder_award_id":"EP/P023991/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3150125195","display_name":null,"funder_award_id":"EP/P023991/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7645501560","display_name":"InfoTestSS: Information theory and Test Suite Selection","funder_award_id":"EP/P005888/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7655562825","display_name":"SHF: Small: Foundations of Software Testing Representations of Natural Processes","funder_award_id":"1909688","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"},{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313549794.pdf","grobid_xml":"https://content.openalex.org/works/W4313549794.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1971650562","https://openalex.org/W2022485595","https://openalex.org/W2094873755","https://openalex.org/W2101171610","https://openalex.org/W2103759928","https://openalex.org/W2106683494","https://openalex.org/W2111382499","https://openalex.org/W2122049982","https://openalex.org/W2210387432","https://openalex.org/W2373227884","https://openalex.org/W2529016814","https://openalex.org/W2608579592","https://openalex.org/W2784876765","https://openalex.org/W2963472894","https://openalex.org/W2967193454","https://openalex.org/W2979357014","https://openalex.org/W2987597555","https://openalex.org/W2997271062","https://openalex.org/W2997401484","https://openalex.org/W3006974147","https://openalex.org/W3039999392","https://openalex.org/W3164393248","https://openalex.org/W3166104887","https://openalex.org/W3191380378","https://openalex.org/W3194771370","https://openalex.org/W4205653883","https://openalex.org/W4244452926","https://openalex.org/W4250728693","https://openalex.org/W4289038676","https://openalex.org/W6761676719"],"related_works":["https://openalex.org/W3123987581","https://openalex.org/W2358406440","https://openalex.org/W2352435628","https://openalex.org/W3096760981","https://openalex.org/W151758239","https://openalex.org/W3175365978","https://openalex.org/W4288075818","https://openalex.org/W189451467","https://openalex.org/W2077568170","https://openalex.org/W3200138464"],"abstract_inverted_index":{"Information":[0],"leaks":[1],"in":[2,69,84],"software":[3],"can":[4,47],"unintentionally":[5],"reveal":[6],"private":[7],"data,":[8],"yet":[9],"they":[10,31],"are":[11,36],"hard":[12],"to":[13,23,79,92],"detect":[14,24,48,80],"and":[15,35,49,81,96,112],"fix.":[16],"Although":[17],"several":[18],"methods":[19],"have":[20],"been":[21],"proposed":[22],"leakage,":[25],"such":[26],"as":[27,66,100],"static":[28],"verification-based":[29],"approaches,":[30],"require":[32,117],"specialist":[33],"knowledge,":[34],"time-consuming.":[37],"Recently,":[38],"we":[39,58,101],"introduced":[40],"HyperGI,":[41],"a":[42],"dynamic,":[43],"hypertest-based":[44],"approach":[45],"that":[46,116],"produce":[50],"potential":[51],"fixes":[52],"for":[53],"hyperproperty":[54],"violations.":[55],"In":[56],"particular,":[57],"focused":[59],"on":[60],"violations":[61],"of":[62,75],"the":[63],"noninterference":[64],"property,":[65],"it":[67],"results":[68],"information":[70,94,114],"flow":[71],"leakage.":[72],"Our":[73],"instantiation":[74],"HyperGI":[76],"was":[77],"able":[78],"reduce":[82],"leakage":[83,95,115],"three":[85],"small":[86],"programs.":[87],"Its":[88],"fitness":[89],"function":[90],"tried":[91],"balance":[93],"program":[97,110],"correctness":[98],"but,":[99],"pointed":[102],"out,":[103],"there":[104],"may":[105],"be":[106],"tradeoffs":[107],"between":[108],"keeping":[109],"semantics":[111],"reducing":[113],"developer":[118],"decisions.":[119]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}