{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:10:44Z","timestamp":1767337844316,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T00:00:00Z","timestamp":1672876800000},"content-version":"vor","delay-in-days":87,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1909688"],"award-info":[{"award-number":["1909688"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Engineering and Physical Sciences Research Council","award":["EP\/P005888\/1"],"award-info":[{"award-number":["EP\/P005888\/1"]}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/P023991\/1"],"award-info":[{"award-number":["EP\/P023991\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556947","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6472-2078","authenticated-orcid":false,"given":"Ibrahim","family":"Mesecan","sequence":"first","affiliation":[{"name":"Iowa State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7320-9057","authenticated-orcid":false,"given":"Daniel","family":"Blackwell","sequence":"additional","affiliation":[{"name":"University College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7004-934X","authenticated-orcid":false,"given":"David","family":"Clark","sequence":"additional","affiliation":[{"name":"University College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2443-2425","authenticated-orcid":false,"given":"Myra","family":"Cohen","sequence":"additional","affiliation":[{"name":"Iowa State University, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7833-6044","authenticated-orcid":false,"given":"Justyna","family":"Petke","sequence":"additional","affiliation":[{"name":"University College London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[1] 2022. https:\/\/github.com\/LavaOps\/LeakReducer\/."},{"key":"e_1_3_2_1_2_1","unstructured":"AFL 2022. American Fuzzy Lop plus plus (AFL++). https:\/\/github.com\/AFLplusplus\/AFLplusplus. Accessed: 2022-05-22."},{"key":"e_1_3_2_1_3_1","volume-title":"Transforming Out Timing Leaks. In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Agat Johan","year":"2020","unstructured":"Johan Agat. 2020. Transforming Out Timing Leaks. In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, Mark\u00a0N. Wegman and Thomas\u00a0W. Reps (Eds.). ACM."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"M.\u00a0S. Alvim K. Chatzikokolakis A. McIver C. Morgan C. Palamidessi and G. Smith. 2020. The Science of Quantitative Information Flow. Springer.","DOI":"10.1007\/978-3-319-96131-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3341184"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293455"},{"key":"e_1_3_2_1_7_1","volume-title":"Jif: Java with Information Flow. https:\/\/www.cs.cornell.edu\/jif\/. Accessed: 2022-05-02.","author":"Arden Owen","year":"2016","unstructured":"Owen Arden, Jed Liu, Tom Magrino, and Andrew Myers. 2016. Jif: Java with Information Flow. https:\/\/www.cs.cornell.edu\/jif\/. Accessed: 2022-05-02."},{"key":"e_1_3_2_1_8_1","volume-title":"VSTTE 2020, and 13th International Workshop, NSV 2020","author":"Athanasiou Konstantinos","year":"2020","unstructured":"Konstantinos Athanasiou, Thomas Wahl, A.\u00a0Adam Ding, and Yunsi Fei. 2020. Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. In Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, July 20-21, 2020, Revised Selected Papers(Lecture Notes in Computer Science, Vol.\u00a012549), Maria Christakis, Nadia Polikarpova, Parasara\u00a0Sridhar Duggirala, and Peter Schrammel (Eds.). Springer, 50\u201367."},{"key":"e_1_3_2_1_9_1","unstructured":"D.\u00a0Elliott Bell and Leonard\u00a0J. LaPadula. 1973. Secure Computer Systems: Mathematical Foundations. MITRE Technical Report 2547 Volume 1."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.swevo.2019.100598"},{"volume-title":"Verification, Model Checking, and Abstract Interpretation - 19th International Conference","author":"Biondi Fabrizio","key":"e_1_3_2_1_11_1","unstructured":"Fabrizio Biondi, Michael\u00a0A. Enescu, Annelie Heuser, Axel Legay, Kuldeep\u00a0S. Meel, and Jean Quilbeuf. 2018. Scalable Approximation of Quantitative Information Flow in Programs. In Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI, Isil Dillig and Jens Palsberg (Eds.). Springer."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00290-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1370628.1370629"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"volume-title":"Multiobjective programming and planning. Vol.\u00a0140","author":"Cohon L","key":"e_1_3_2_1_15_1","unstructured":"Jared\u00a0L Cohon. 2004. Multiobjective programming and planning. Vol.\u00a0140. Courier Corporation."},{"volume-title":"Elements of Information Theory","author":"Cover M.","key":"e_1_3_2_1_16_1","unstructured":"Thomas\u00a0M. Cover and Joy\u00a0A. Thomas. 2006. Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing). Wiley-Interscience."},{"key":"e_1_3_2_1_17_1","volume-title":"An evolutionary many-objective optimization algorithm using reference-point-based nondominated sorting approach, part I: solving problems with box constraints","author":"Deb Kalyanmoy","year":"2013","unstructured":"Kalyanmoy Deb and Himanshu Jain. 2013. An evolutionary many-objective optimization algorithm using reference-point-based nondominated sorting approach, part I: solving problems with box constraints. IEEE transactions on evolutionary computation 18, 4(2013), 577\u2013601."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_19_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Maier, Heiko Ei\u00dffeldt, and Marc Heuse. 2020. AFL++: Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20). USENIX Association."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"volume-title":"Security Policies and Security Models. In 1982 IEEE Symposium on Security and Privacy. 11\u201320","author":"A.","key":"e_1_3_2_1_21_1","unstructured":"Joseph\u00a0A. Goguen and Jos\u00e9 Meseguer. 1982. Security Policies and Security Models. In 1982 IEEE Symposium on Security and Privacy. 11\u201320."},{"volume-title":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE Computer Society.","author":"He S.","key":"e_1_3_2_1_22_1","unstructured":"S. He, M. Emmi, and G. Ciocarlie. 2020. ct-fuzz: Fuzzing for Timing Leaks. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE Computer Society."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1920261.1920300"},{"key":"e_1_3_2_1_24_1","volume-title":"Moving Fast with Software Verification. In NASA Formal Methods: 7th International Symposium, Proceedings, Vol.\u00a09058","author":"Hooimeijer Pieter","year":"2015","unstructured":"Pieter Hooimeijer, Martino Luca, Peter O\u00e2\u20ac\u2122Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez. 2015. Moving Fast with Software Verification. In NASA Formal Methods: 7th International Symposium, Proceedings, Vol.\u00a09058. Springer, 3."},{"key":"e_1_3_2_1_25_1","volume-title":"Hypertesting: The Case for Automated Testing of Hyperproperties. In Hot Issues in security and trust (HotSpot).","author":"Kinder Johannes","year":"2015","unstructured":"Johannes Kinder. 2015. Hypertesting: The Case for Automated Testing of Hyperproperties. In Hot Issues in security and trust (HotSpot)."},{"key":"e_1_3_2_1_26_1","volume-title":"How to Evaluate Solutions in Pareto-based Search-Based Software Engineering? A Critical Review and Methodological Guidance","author":"Li Miqing","year":"2020","unstructured":"Miqing Li, Tao Chen, and Xin Yao. 2020. How to Evaluate Solutions in Pareto-based Search-Based Software Engineering? A Critical Review and Methodological Guidance. IEEE Transactions on Software Engineering01 (2020), 1\u20131."},{"key":"e_1_3_2_1_27_1","unstructured":"LLVM Foundation 2022. Clang 15.0.0git documentation AddressSanitizer. https:\/\/clang.llvm.org\/docs\/AddressSanitizer.html. Accessed: 2022-05-02."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_63"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_31_1","volume-title":"Hashing fuzzing: introducing input diversity to improve crash detection","author":"Menendez D","year":"2021","unstructured":"Hector\u00a0D Menendez and David Clark. 2021. Hashing fuzzing: introducing input diversity to improve crash detection. IEEE Transactions on Software Engineering(2021)."},{"key":"e_1_3_2_1_32_1","volume-title":"HyperGI: Automated Detection and Repair of Information Flow Leakage. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1358\u20131362","author":"Mesecan Ibrahim","year":"2021","unstructured":"Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra\u00a0B Cohen, and Justyna Petke. 2021. HyperGI: Automated Detection and Repair of Information Flow Leakage. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1358\u20131362."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Jonathan Metzman L\u00e1szl\u00f3 Szekeres Laurent Simon Read Sprabery and Abhishek Arya. 2021. FuzzBench: an open fuzzer benchmarking platform and service. In ESEC\/FSE. 1393\u20131403.","DOI":"10.1145\/3468264.3473932"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464817"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2017.2693219"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3188720"},{"key":"e_1_3_2_1_39_1","volume-title":"Multi-objective software effort estimation: A replication study","author":"Tawosi Vali","year":"2021","unstructured":"Vali Tawosi, Federica Sarro, Alessio Petrozziello, and Mark Harman. 2021. Multi-objective software effort estimation: A replication study. IEEE Transactions on Software Engineering(2021)."},{"key":"e_1_3_2_1_40_1","unstructured":"The MITRE Corporation 2022. CVE \u2013 Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/. Accessed: 2022-05-02."},{"key":"e_1_3_2_1_41_1","unstructured":"The National Institute of Standards and Technology 2014. CVE-2014-0160 Heartbleed. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2014-0160. Accessed: 2022-05-02."},{"key":"e_1_3_2_1_42_1","unstructured":"The OpenSSL 2021. bn - multiprecision integer arithmetics. https:\/\/www.openssl.org\/docs\/man1.0.2\/man3\/bn.html. Accessed: 2022-03-12."},{"key":"e_1_3_2_1_43_1","unstructured":"The OpenSSL 2021. OpenSSL 1.1.1 versions download. https:\/\/ftp.openssl.org\/source\/old\/1.1.1\/. Accessed: 2022-03-18."},{"key":"e_1_3_2_1_44_1","unstructured":"Universal Ctags Team 2021. Universal Ctags. https:\/\/ctags.io\/. Last Accessed: 2022-05-02."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/353629.353648"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.36"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2083669"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.07.031"}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","acronym":"ASE '22","location":"Rochester MI USA"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556947","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556947","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:29:42Z","timestamp":1755851382000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":48,"alternative-id":["10.1145\/3551349.3556947","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556947","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}