{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:28:03Z","timestamp":1770276483061,"version":"3.49.0"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1815883"],"award-info":[{"award-number":["CNS-1815883"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1942235"],"award-info":[{"award-number":["CNS-1942235"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Intel"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2023,3,1]]},"DOI":"10.1109\/tdsc.2022.3160346","type":"journal-article","created":{"date-parts":[[2022,3,17]],"date-time":"2022-03-17T20:15:35Z","timestamp":1647548135000},"page":"1577-1595","source":"Crossref","is-referenced-by-count":10,"title":["ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs"],"prefix":"10.1109","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5542-2142","authenticated-orcid":false,"given":"Tuba","family":"Yavuz","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3575-3067","authenticated-orcid":false,"given":"Farhaan","family":"Fowze","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"}]},{"given":"Grant","family":"Hernandez","sequence":"additional","affiliation":[{"name":"CISE Department, University of Florida Herbert Wertheim College of Engineering, Gainesville, FL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4082-4165","authenticated-orcid":false,"given":"Ken Yihang","family":"Bai","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of Florida, Gainesville, FL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7498-4239","authenticated-orcid":false,"given":"Kevin R. B.","family":"Butler","sequence":"additional","affiliation":[{"name":"Computer and Information Science and Engineering, University of Florida, Gainesville, FL, USA"}]},{"given":"Dave Jing","family":"Tian","sequence":"additional","affiliation":[{"name":"Computer Science Department, Purdue University, West Lafayette, West Lafayette, IN, USA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Intel software guard extensions (intel SGX)","year":"2016"},{"key":"ref2","article-title":"Confidential computing consortium.","year":"2019"},{"key":"ref3","article-title":"Private contact discovery service (beta).","year":"2019"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68697-5_9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.5555\/1251353.1251354"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45146-4_34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.42"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11379-1_15"},{"key":"ref12","first-page":"719","article-title":"FLUSH+RELOAD: A high resolution, low noise, l3 cache side-channel attack","volume-title":"Proc. 23rd USENIX Secur. Symp.","author":"Yarom"},{"key":"ref13","first-page":"973","article-title":"Meltdown: Reading kernel memory from user space","volume-title":"Proc. 27th USENIX Secur. Symp.","author":"Lipp"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.5555\/3277203.3277277"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-017-0152-y"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134016"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33481-8_9"},{"key":"ref19","article-title":"Intel Integrated Performance Primitives.","year":"2019"},{"key":"ref20","article-title":"Intel software guard extensions for Linux OS.","year":"2016"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274741"},{"key":"ref22","first-page":"443","article-title":"Time and order: Towards automatically identifying side-channel vulnerabilities in enclave binaries","volume-title":"Proc. 22nd Int. Symp. Res. Attacks, Intrusions Defenses","author":"Wang"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref29","first-page":"53","article-title":"Verifying constant-time implementations","volume-title":"Proc. 25th USENIX Secur. Symp.","author":"Almeida"},{"key":"ref30","first-page":"657","article-title":"Identifying cache-based side channels through secret-augmented abstract interpretation","volume-title":"Proc. 28th USENIX Secur. Symp.","author":"Wang"},{"key":"ref31","first-page":"603","article-title":"DATA  differential address trace analysis: Finding address-based side-channels in binaries","volume-title":"Proc. 27th USENIX Secur. Symp.","author":"Weiser"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-6572-6"},{"issue":"1\/10","key":"ref33","article-title":"Intel software guard extensions: EPID provisioning and attestation services","volume":"1","author":"Johnson","year":"2016","journal-title":"White Paper"},{"key":"ref34","article-title":"Intel software guard extensions SDK for Linux* OS developer reference","year":"2016"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.45"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60876-1_1"},{"key":"ref38","article-title":"Software grand exposure: SGX cache attacks are practical","volume-title":"Proc. 11th USENIX Workshop Offensive Technol.","author":"Brasser"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134038"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66787-4_4"},{"key":"ref41","first-page":"1","article-title":"Intel analysis of speculative execution side channels","year":"2018"},{"key":"ref42","first-page":"1","article-title":"Cache missing for fun and profit","volume-title":"Proc. BSD Conf.","author":"Percival"},{"key":"ref43","article-title":"ARM TrustZone.","year":"2019"},{"key":"ref44","article-title":"AMD secure encrypted virtualization.","year":"2019"},{"key":"ref46","article-title":"Lucky thirteen - timing side channel during decryption.","year":"2020"},{"key":"ref47","article-title":"Plaintext recovery on use of CBC based ciphersuites through a cache based side-channel.","year":"2020"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.34"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062378"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134058"},{"key":"ref51","first-page":"49","article-title":"Under-constrained symbolic execution: Correctness checking for real code","volume-title":"Proc. 24th USENIX Secur. Symp.","author":"Ramos"},{"key":"ref52","article-title":"Intrinsics guide.","year":"2019"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_24"},{"key":"ref56","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Conf. Oper. Syst. Des. Implementation","author":"Cadar"},{"key":"ref57","article-title":"Verifying constant-time implementations.","year":"2020"},{"key":"ref58","article-title":"Make CBC decoding constant time.","author":"Laurie","year":"2020"},{"key":"ref59","article-title":"Optimized C library for ECDSA signatures and secret\/public key operations on curve secp256k1.","year":"2018"},{"key":"ref60","article-title":"Lucky Thirteen attack on TLS CBC.","author":"Langley","year":"2020"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213867"},{"key":"ref62","first-page":"235","article-title":"Cached: Identifying cache-based timing channels in production software","volume-title":"Proc. 26th USENIX Secur. Symp.","author":"Wang"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00022"},{"key":"ref64","article-title":"Raccoon attack: Finding and exploiting most-significant-bit-oracles in TLS-DH(E)","volume":"2020","author":"Merget","year":"2020","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813608"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8858\/10068314\/9737388-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/10068314\/09737388.pdf?arnumber=9737388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,18]],"date-time":"2024-01-18T00:26:56Z","timestamp":1705537616000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9737388\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,1]]},"references-count":55,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2022.3160346","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,1]]}}}