{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:14Z","timestamp":1750309514469,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T00:00:00Z","timestamp":1719100800000},"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":[],"published-print":{"date-parts":[[2024,6,23]]},"DOI":"10.1145\/3649329.3657394","type":"proceedings-article","created":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T19:27:22Z","timestamp":1731007642000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6586-5529","authenticated-orcid":false,"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Hesse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6175-7631","authenticated-orcid":false,"given":"Joachim","family":"Schmidt","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Hesse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8090-1316","authenticated-orcid":false,"given":"Thomas","family":"Schneider","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Hesse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-9979-7790","authenticated-orcid":false,"given":"Maximilian","family":"Stillger","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Hesse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4017-5297","authenticated-orcid":false,"given":"Tim","family":"Wei\u00dfmantel","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Hesse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6438-534X","authenticated-orcid":false,"given":"Hossein","family":"Yalame","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Hesse, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. XLS: Accelerated HW Synthesis. https:\/\/google.github.io\/xls."},{"key":"e_1_3_2_1_2_1","volume-title":"The advanced encryption standard algorithm validation suite (AESAVS). NIST Information Technology Laboratory","author":"Lawrence E","year":"2002","unstructured":"Lawrence E Bassham III. 2002. The advanced encryption standard algorithm validation suite (AESAVS). NIST Information Technology Laboratory (2002)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Guido Bertoni Vittorio Zaccaria Luca Breveglieri Matteo Monchiero and Gianluca Palermo. 2005. AES power attack based on induced cache miss and countermeasure. In ITCC.","DOI":"10.1109\/ITCC.2005.62"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Eli Biham. 1997. A fast new DES implementation in software. In FSE.","DOI":"10.1007\/BFb0052352"},{"key":"e_1_3_2_1_6_1","volume-title":"Leonardo Querzoni, and Cristiano Giuffrida.","author":"Borrello Pietro","year":"2021","unstructured":"Pietro Borrello, Daniele Cono D'Elia, Leonardo Querzoni, and Cristiano Giuffrida. 2021. Constantine: Automatic side-channel resistance using efficient control and data flow linearization. In CCS."},{"key":"e_1_3_2_1_7_1","volume-title":"FLUTE: Fast and Secure Lookup Table Evaluations. In S&P.","author":"Br\u00fcggemann Andreas","year":"2023","unstructured":"Andreas Br\u00fcggemann, Robin Hundt, Thomas Schneider, Ajith Suresh, and Hossein Yalame. 2023. FLUTE: Fast and Secure Lookup Table Evaluations. In S&P."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. 1977. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In ACM SIGACT-SIGPLAN.","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Lesly-Ann Daniel S\u00e9bastien Bardin and Tamara Rezk. 2020. Binsec\/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. In S&P.","DOI":"10.1109\/SP40000.2020.00074"},{"key":"e_1_3_2_1_10_1","volume-title":"Breaking the Size Barrier: Universal Circuits meet Lookup Tables. In ASIACRYPT.","author":"Disser Yann","year":"2023","unstructured":"Yann Disser, Daniel G\u00fcnther, Thomas Schneider, Maximilian Stillger, Arthur Wigandt, and Hossein Yalame. 2023. Breaking the Size Barrier: Universal Circuits meet Lookup Tables. In ASIACRYPT."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Goran Doychev and Boris K\u00f6pf. 2017. Rigorous Analysis of Software Countermeasures against Cache Attacks. In ACM PLDI.","DOI":"10.1145\/3062341.3062388"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2756550"},{"key":"e_1_3_2_1_13_1","unstructured":"OpenSSL Software Foundation. 2023. OpenSSL (Version 1.0.1d)."},{"volume-title":"Cache games-bringing access-based cache attacks on AES to practice","author":"Gullasch David","key":"e_1_3_2_1_14_1","unstructured":"David Gullasch, Endre Bangerter, and Stephan Krenn. 2011. Cache games-bringing access-based cache attacks on AES to practice. In IEEE S&P."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Jonathan Heusser and Pasquale Malacaria. 2010. Quantifying Information Leaks in Software. In ACM ACSAC.","DOI":"10.1145\/1920261.1920300"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Ke Jiang Yuyan Bao Shuai Wang Zhibo Liu and Tianwei Zhang. 2022. Cache Refinement Type for Side-Channel Detection of Cryptographic Software. In CCS.","DOI":"10.1145\/3548606.3560672"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Emilia K\u00e4sper and Peter Schwabe. 2009. Faster and timing-attack resistant AES-GCM. In CHES.","DOI":"10.1007\/978-3-642-04138-9_1"},{"key":"e_1_3_2_1_18_1","unstructured":"libtom projects. 2018. LibTomCrypt (Version 1.18.2)."},{"key":"e_1_3_2_1_19_1","unstructured":"ARM Limited. 2023. mbedTLS (Version 2.16.5)."},{"key":"e_1_3_2_1_20_1","volume-title":"Luckow","author":"Malacaria Pasquale","year":"2018","unstructured":"Pasquale Malacaria, MHR. Khouzani, Corina S. P\u0103s\u0103reanu, Quoc-Sang Phan, and Kasper S. Luckow. 2018. Symbolic Side-Channel Analysis for Probabilistic Programs. In IEEE CSF."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Heiko Mantel Lukas Scheidel Thomas Schneider Alexandra Weber Christian Weinert and Tim Wei\u00dfmantel. 2020. RiCaSi: Rigorous Cache Side Channel Mitigation via Circuit Compilation. In CANS.","DOI":"10.1007\/978-3-030-65411-5_25"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Heiko Mantel Alexandra Weber and Boris K\u00f6pf. 2017. A Systematic Study of Cache Side Channels across AES Implementations. In ESSOS.","DOI":"10.1007\/978-3-319-62105-0_14"},{"key":"e_1_3_2_1_23_1","unstructured":"Niels M\u00f6ller. 2019. Nettle (Version 3.5). https:\/\/ftp.gnu.org\/gnu\/nettle\/nettle-3.5.tar.gz"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Arpita Patra Thomas Schneider Ajith Suresh and Hossein Yalame. 2021. SynCirc: Efficient Synthesis of Depth-Optimized Circuits for Secure Computation. In HOST.","DOI":"10.1109\/HOST49136.2021.9702293"},{"key":"e_1_3_2_1_25_1","volume-title":"Raccoon: Closing Digital Side-Channels through Obfuscated Execution. In USENIX Security.","author":"Rane Ashay","year":"2015","unstructured":"Ashay Rane, Calvin Lin, and Mohit Tiwari. 2015. Raccoon: Closing Digital Side-Channels through Obfuscated Execution. In USENIX Security."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Geoffrey Smith. 2009. On the foundations of quantitative information flow. In FoSSaCS.","DOI":"10.1007\/978-3-642-00596-1_21"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Yukiyasu Tsunoo Teruo Saito Tomoyasu Suzaki Maki Shigeri and Hiroshi Miyauchi. 2003. Cryptanalysis of DES implemented on computers with cache. In CHES.","DOI":"10.1007\/978-3-540-45238-6_6"},{"key":"e_1_3_2_1_28_1","unstructured":"Shuai Wang Yuyan Bao Xiao Liu Pei Wang Danfeng Zhang and Dinghao Wu. 2019. Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. In USENIX Security."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Alexandra Weber Oleg Nikiforov Alexander Sauer Johannes Schickel Gernot Alber Heiko Mantel and Thomas Walther. 2021. Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography. In ESORICS.","DOI":"10.1007\/978-3-030-88428-4_12"},{"key":"e_1_3_2_1_30_1","unstructured":"Clifford Wolf. 2016. Yosys Open SYnthesis Suite. https:\/\/yosyshq.net\/yosys\/."},{"key":"e_1_3_2_1_31_1","unstructured":"Meng Wu Shengjian Guo Patrick Schaumont and Chao Wang. 2018. Eliminating Timing Side-Channel Leaks Using Program Repair. In ACM ISSTA."},{"key":"e_1_3_2_1_32_1","unstructured":"Yuval Yarom and Katrina Falkner. 2014. FLUSH+RELOAD: A High Resolution Low Noise L3 Cache Side-Channel Attack. In USENIX Security."}],"event":{"name":"DAC '24: 61st ACM\/IEEE Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco CA USA","acronym":"DAC '24"},"container-title":["Proceedings of the 61st ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3657394","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649329.3657394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:01Z","timestamp":1750295881000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3657394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,23]]},"references-count":31,"alternative-id":["10.1145\/3649329.3657394","10.1145\/3649329"],"URL":"https:\/\/doi.org\/10.1145\/3649329.3657394","relation":{},"subject":[],"published":{"date-parts":[[2024,6,23]]},"assertion":[{"value":"2024-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}