{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:04:40Z","timestamp":1729670680404,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1109\/icit.2017.7915525","type":"proceedings-article","created":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T22:23:01Z","timestamp":1494627781000},"page":"1153-1158","source":"Crossref","is-referenced-by-count":1,"title":["Evaluation of a formalized encryption library for safety-critical embedded systems"],"prefix":"10.1109","author":[{"given":"Thorsten","family":"Schulz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Golatowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Timmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/978-3-642-38553-7_9","article-title":"NaCl on 8-bit AVR microcontrollers","volume":"7918","author":"hutter","year":"0","journal-title":"Progress in Cryptology — AFRICACRYPT 2013 ser LNCS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2016.7457096"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16295-9_4"},{"journal-title":"The Sodium crypto library (libsodium)","year":"2016","author":"denis","key":"ref13"},{"key":"ref14","first-page":"42","author":"gorski","year":"2016","journal-title":"A modular train control system through the use of certified cots hw\/sw and qualified tools"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.5755\/j01.eee.20.1.3506"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516737"},{"journal-title":"Railway applications - Communication signalling and processing systems - Software for railway control and protection systems EN 50128","year":"0","key":"ref4"},{"key":"ref3","first-page":"213","article-title":"The myths and facts behind cyber security risks for industrial control systems","volume":"116","author":"byres","year":"2004","journal-title":"Proceedings of the VDE Kongress"},{"journal-title":"openetcs Design and implementation of open-proof-concepts for the european train control system etcs","year":"2016","author":"mahlmann","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/9781119005056"},{"key":"ref8","first-page":"139","author":"b\u00fcttner","year":"2015","journal-title":"An Efficient Anonymous Authenticated Key Agreement Protocol for Vehicular Ad-Hoc Networks Based on Ring Signatures and the Elliptic Curve Integrated Encryption Scheme"},{"key":"ref7","first-page":"375","author":"motii","year":"2016","journal-title":"Model-Based Real-Time Evaluation of Security Patterns A SCADA System Case Study"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-10934-9_22"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2492007.2492018"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-642-33481-8_9","article-title":"The security impact of a new cryptographic library","volume":"7533","author":"bernstein","year":"2012","journal-title":"Progress in Cryptology — LATIN-CRYPT 2012 ser Lecture Notes in Computer Science"}],"event":{"name":"2017 IEEE International Conference on Industrial Technology (ICIT)","start":{"date-parts":[[2017,3,22]]},"location":"Toronto, ON","end":{"date-parts":[[2017,3,25]]}},"container-title":["2017 IEEE International Conference on Industrial Technology (ICIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7907563\/7912587\/07915525.pdf?arnumber=7915525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T11:54:22Z","timestamp":1569326062000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7915525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icit.2017.7915525","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}