{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:38Z","timestamp":1750220858634,"version":"3.41.0"},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T00:00:00Z","timestamp":1575244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2019,12,2]]},"abstract":"<jats:p>Information leakage is a signi cant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In recent years, techniques have been developed for automated synthesis of adaptive side-channel attacks that recover secret values by iteratively generating inputs to reveal partial information about the secret based on the sidechannel observations. Prominent approaches of attack synthesis use symbolic execution, model counting, and meta-heuristics to maximize information gain. These approaches could bene t by reusing results from prior steps in each step. In this paper, we present an incremental approach to attack synthesis that reuses model counting results from prior iterations in each attack step to improve efficiency. Experimental evaluation demonstrates that our approach drastically improves performance, reducing the attack synthesis time by an order of magnitude.<\/jats:p>","DOI":"10.1145\/3364452.336445759","type":"journal-article","created":{"date-parts":[[2019,12,13]],"date-time":"2019-12-13T14:08:57Z","timestamp":1576246137000},"page":"16-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Incremental Attack Synthesis"],"prefix":"10.1145","volume":"44","author":[{"given":"Seemanta","family":"Saha","sequence":"first","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Eiers","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismet Burak","family":"Kadron","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas","family":"Bang","sequence":"additional","affiliation":[{"name":"Harvey Mudd College, Claremont, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[{"name":"University of California, Santa Barbara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,12,12]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"https:\/\/github.com\/Apogee-Research\/STAC\/tree\/ master\/Engagement_Challenges.  https:\/\/github.com\/Apogee-Research\/STAC\/tree\/ master\/Engagement_Challenges."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_15"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236064"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.24"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950362"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2018.00029"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041225.2041253"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00050"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315282"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594331"},{"key":"e_1_2_1_11_1","unstructured":"Taylor Nelson. Widespread timing vulnerabilities in openid implementations. http:\/\/lists.openid.net\/pipermail\/ openid-security\/2010-July\/001156.html 2010.  Taylor Nelson. Widespread timing vulnerabilities in openid implementations. http:\/\/lists.openid.net\/pipermail\/ openid-security\/2010-July\/001156.html 2010."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2017.8"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.34"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"volume-title":"Ekoparty Security Conference","year":"2012","author":"Rizzo J.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3282517.3282527"},{"volume-title":"Proceedings of 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS)","year":"2009","author":"Smith Geo","key":"e_1_2_1_17_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3364452.336445759","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3364452.336445759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:29Z","timestamp":1750202609000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3364452.336445759"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,2]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,12,2]]}},"alternative-id":["10.1145\/3364452.336445759"],"URL":"https:\/\/doi.org\/10.1145\/3364452.336445759","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2019,12,2]]},"assertion":[{"value":"2019-12-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}