{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T12:45:48Z","timestamp":1770727548824,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,2,22]]},"DOI":"10.1145\/3748173.3779544","type":"proceedings-article","created":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T21:17:35Z","timestamp":1770326255000},"page":"34-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Attest Like Software: Formally-Verified Software-Programmable Proof of Execution Architecture Using SoC FPGAs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-3987-2097","authenticated-orcid":false,"given":"Fatemeh","family":"Arkannezhad","sequence":"first","affiliation":[{"name":"UCLA, Los Angeles, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7181-2258","authenticated-orcid":false,"given":"Nader","family":"Sehatbakhsh","sequence":"additional","affiliation":[{"name":"UCLA, Los Angeles, California, USA"}]}],"member":"320","published-online":{"date-parts":[[2026,2,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1429","volume-title":"Vrased: A verified hardware\/software co-design for remote attestation.'' in USENIX Security Symposium","author":"Nunes I. D. O.","year":"2019","unstructured":"I. D. O. Nunes, K. Eldefrawy, N. Rattanavipanon, M. Steiner, and G. Tsudik, ''Vrased: A verified hardware\/software co-design for remote attestation.'' in USENIX Security Symposium, 2019, pp. 1429-1446."},{"key":"e_1_3_2_1_2_1","first-page":"771","volume-title":"Apex: A verified architecture for proofs of execution on remote devices under full software compromise.'' in USENIX Security Symposium","author":"Nunes I. D. O.","year":"2020","unstructured":"I. D. O. Nunes, K. Eldefrawy, N. Rattanavipanon, and G. Tsudik, ''Apex: A verified architecture for proofs of execution on remote devices under full software compromise.'' in USENIX Security Symposium, 2020, pp. 771-788."},{"key":"e_1_3_2_1_3_1","first-page":"2890","volume-title":"Realswatt: Remote software-based attestation for embedded devices under realtime constraints,'' in Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security","author":"Surminski S.","year":"2021","unstructured":"S. Surminski, C. Niesler, F. Brasser, L. Davi, and A.-R. Sadeghi, ''Realswatt: Remote software-based attestation for embedded devices under realtime constraints,'' in Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, pp. 2890-2905."}],"event":{"name":"FPGA '26:The 2026 ACM\/SIGDA International Symposium on Field Programmable Gate Arrays","location":"Seaside CA USA","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 2026 ACM\/SIGDA International Symposium on Field Programmable Gate Arrays"],"original-title":[],"deposited":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T16:17:15Z","timestamp":1770653835000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748173.3779544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,21]]},"references-count":3,"alternative-id":["10.1145\/3748173.3779544","10.1145\/3748173"],"URL":"https:\/\/doi.org\/10.1145\/3748173.3779544","relation":{},"subject":[],"published":{"date-parts":[[2026,2,21]]},"assertion":[{"value":"2026-02-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}