{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:34:34Z","timestamp":1759332874430,"version":"build-2065373602"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1109\/fdl68117.2025.11165269","type":"proceedings-article","created":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T17:24:10Z","timestamp":1758648250000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["Tool Support for Precise Assessment of Software Security\/Performance Tradeoffs"],"prefix":"10.1109","author":[{"given":"Malou","family":"Rayon-Richter","sequence":"first","affiliation":[{"name":"Sorbonne Université, UMR 7606, LIP6,Paris,France"}]},{"given":"Daniela","family":"Genius","sequence":"additional","affiliation":[{"name":"Sorbonne Université, UMR 7606, LIP6,Paris,France"}]}],"member":"263","reference":[{"volume-title":"TTool, an open-source toolkit for the modeling and verification of embedded systems","author":"Apvrille","key":"ref1"},{"key":"ref2","first-page":"293","volume-title":"Model-Driven Engineering and Software Development, chapter Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec","author":"Apvrille","year":"2016"},{"volume-title":"Automated Validation of Internet Security Protocols and Applications","key":"ref3"},{"key":"ref4","article-title":"Accellera systems initiative","author":"Barnasconi","year":"2016","journal-title":"SystemC AMS Extensions 2.0 Language Reference Manual"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10082-1_3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00866-1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.5220\/0006535902950302"},{"journal-title":"SystemC. IEEE Standard 1666-2011","year":"2011","key":"ref8"},{"volume-title":"Small portable AES128\/192\/256 in C","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94764-8_3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MECO.2019.8760043"},{"journal-title":"The SoCLib project: An Integrated System-on-Chip Modelling and Simulation Platform","year":"2003","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-38821-7_10"}],"event":{"name":"2025 Forum on Specification & Design Languages (FDL)","start":{"date-parts":[[2025,9,10]]},"location":"St. Goar, Germany","end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11165265\/11165266\/11165269.pdf?arnumber=11165269","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T15:43:03Z","timestamp":1759246983000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11165269\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/fdl68117.2025.11165269","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]}}}