{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:19:12Z","timestamp":1730222352370,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"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":[[2012,8]]},"DOI":"10.1109\/fpl.2012.6339174","type":"proceedings-article","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T21:47:45Z","timestamp":1351288065000},"page":"671-674","source":"Crossref","is-referenced-by-count":0,"title":["Design space exploration for automatically generated cryptographic hardware using functional languages"],"prefix":"10.1109","author":[{"given":"Davy","family":"Wolfs","sequence":"first","affiliation":[{"name":"KU Leuven, ESAT-SCD\/COSIC, Kasteelpark Arenberg 10, 3001, Belgium"}]},{"given":"Kris","family":"Aerts","sequence":"additional","affiliation":[{"name":"KU Leuven, ESAT-SCD\/COSIC, Kasteelpark Arenberg 10, 3001, Belgium"}]},{"given":"Nele","family":"Mentens","sequence":"additional","affiliation":[{"name":"KU Leuven, ESAT-SCD\/COSIC, Kasteelpark Arenberg 10, 3001, Belgium"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1314436.1314442"},{"journal-title":"A Slightly Revised Tutorial on Lava A Hardware Description and Verification System","year":"2007","author":"claessen","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034804"},{"key":"12","article-title":"Functions ot junctions: Ultra low power chip design with some help from haskell","author":"wright","year":"2009","journal-title":"Workshop on Hardware Design and Functional Languages (HFL)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1228784.1228911"},{"key":"2","first-page":"62","article-title":"Ultra high performance ecc over nist primes on commercial fpgas","author":"gu?neysu","year":"2008","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2007.378270"},{"key":"10","article-title":"High level architectural modelling for early estimation of power and performance","author":"claessen","year":"2009","journal-title":"Workshop on Hardware Design and Functional Languages (HFL)"},{"key":"7","first-page":"55","article-title":"Declarative fpga circuit synthesis using kansas lava","author":"gill","year":"2011","journal-title":"Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"5","first-page":"1135","article-title":"Hardware design and functional programming: A perfect match","volume":"11","author":"sheeran","year":"2005","journal-title":"Journal of Universal Computer Science"},{"key":"4","first-page":"92","article-title":"Low-resource hardware design of an elliptic curve processor for contactless devices","author":"wenger","year":"2010","journal-title":"LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/581199.581219"},{"key":"8","first-page":"18","article-title":"Introducing kansas lava","author":"gill","year":"2009","journal-title":"LNCS"}],"event":{"name":"2012 22nd International Conference on Field Programmable Logic and Applications (FPL)","start":{"date-parts":[[2012,8,29]]},"location":"Oslo, Norway","end":{"date-parts":[[2012,8,31]]}},"container-title":["22nd International Conference on Field Programmable Logic and Applications (FPL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6330714\/6339128\/06339174.pdf?arnumber=6339174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,22]],"date-time":"2024-03-22T17:59:12Z","timestamp":1711130352000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6339174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/fpl.2012.6339174","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}