{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:22:21Z","timestamp":1730222541044,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/fpt.2015.7393143","type":"proceedings-article","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T16:42:08Z","timestamp":1453999328000},"page":"160-171","source":"Crossref","is-referenced-by-count":3,"title":["Provably Correct Development of reconfigurable hardware designs via equational reasoning"],"prefix":"10.1109","author":[{"given":"Ian","family":"Graves","sequence":"first","affiliation":[]},{"given":"Adam","family":"Procter","sequence":"additional","affiliation":[]},{"given":"William L.","family":"Harrison","sequence":"additional","affiliation":[]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"The eSTREAM project - eSTREAM phase 3 - Salsa20 (portfolio profile 1)","year":"2014","author":"bernstein","key":"ref10"},{"key":"ref11","article-title":"Low-cost hardware implementations of salsa20 stream cipher in programmable devices","volume":"4","author":"sugier","year":"2013","journal-title":"J of Pol Saf and Reliab Assoc Summer Safety and Reliability Seminars"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"year":"0","key":"ref13","article-title":"The Coq Proof Assistant"},{"year":"0","key":"ref14","article-title":"Rewire Public Repository"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569845"},{"journal-title":"Introduction to Functional Programming","year":"1988","author":"bird","key":"ref3"},{"journal-title":"Programming Cryptol","year":"2014","author":"erkok","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480929"},{"journal-title":"Haskell 98 Language and Libraries The Revised Report","year":"2003","author":"peyton jones","key":"ref8"},{"journal-title":"National Information Assurance Partnership Tech Rep CCMB-2012–09-003","article-title":"Common criteria for information technology security evaluation part 3: Security assurance components","year":"2012","key":"ref7"},{"article-title":"Salsa20 specification","year":"2005","author":"bernstein","key":"ref2"},{"key":"ref1","article-title":"Se-mantics driven hardware design, implementation, and verification with ReWire","author":"procter","year":"2015","journal-title":"ACM SIGPLANISIGBED Conf on Languages Compilers Tools and Theory for Embedded Systems (LCTES)"},{"key":"ref9","first-page":"84","article-title":"New stream cipher designs","author":"bernstein","year":"2008"}],"event":{"name":"2015 International Conference on Field Programmable Technology (FPT)","start":{"date-parts":[[2015,12,7]]},"location":"Queenstown, New Zealand","end":{"date-parts":[[2015,12,9]]}},"container-title":["2015 International Conference on Field Programmable Technology (FPT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7386271\/7393109\/07393143.pdf?arnumber=7393143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T19:25:34Z","timestamp":1490383534000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7393143\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/fpt.2015.7393143","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}