{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:25:33Z","timestamp":1772555133615,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1145\/2990299.2990318","type":"proceedings-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T12:34:59Z","timestamp":1490013299000},"page":"114-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-driven design & synthesis of the SHA-256 cryptographic hash function in ReWire"],"prefix":"10.1145","author":[{"given":"William L.","family":"Harrison","sequence":"first","affiliation":[{"name":"University of Missouri"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam M.","family":"Procter","sequence":"additional","affiliation":[{"name":"University of Missouri"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[{"name":"US Naval Research Lab."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Haskell 98 Language and Libraries, the Revised Report","author":"Peyton Jones S.","year":"2003","unstructured":"S. Peyton Jones , Ed., Haskell 98 Language and Libraries, the Revised Report . Cambridge University Press , 2003 . S. Peyton Jones, Ed., Haskell 98 Language and Libraries, the Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"Semantics driven hardware design, implementation, and verification with ReWire,\" in LCTES","author":"Procter A.","year":"2015","unstructured":"A. Procter , W. L. Harrison , I. Graves , M. Becchi , and G. Allwein , \" Semantics driven hardware design, implementation, and verification with ReWire,\" in LCTES , 2015 . A. Procter, W. L. Harrison, I. Graves, M. Becchi, and G. Allwein, \"Semantics driven hardware design, implementation, and verification with ReWire,\" in LCTES, 2015."},{"key":"e_1_3_2_1_3_1","first-page":"41","article-title":"Hardware synthesis from functional embedded domain-specific languages: A case study in regular expression compilation","author":"Graves I.","year":"2015","unstructured":"I. Graves , A. Procter , W. L. Harrison , M. Becchi , and G. Allwein , \" Hardware synthesis from functional embedded domain-specific languages: A case study in regular expression compilation ,\" in ARC , 2015 , pp. 41 -- 52 . I. Graves, A. Procter, W. L. Harrison, M. Becchi, and G. Allwein, \"Hardware synthesis from functional embedded domain-specific languages: A case study in regular expression compilation,\" in ARC, 2015, pp. 41--52.","journal-title":"ARC"},{"key":"e_1_3_2_1_4_1","first-page":"160","article-title":"Provably correct development of reconfigurable hardware designs via equational reasoning","author":"Graves I.","year":"2015","unstructured":"I. Graves , A. M. Procter , W. L. Harrison , and G. Allwein , \" Provably correct development of reconfigurable hardware designs via equational reasoning ,\" in FPT , 2015 , pp. 160 -- 171 . I. Graves, A. M. Procter, W. L. Harrison, and G. Allwein, \"Provably correct development of reconfigurable hardware designs via equational reasoning,\" in FPT, 2015, pp. 160--171.","journal-title":"FPT"},{"key":"e_1_3_2_1_5_1","volume-title":"A programming model for reconfigurable computing based in functional concurrency,\" in ReCoSoC","author":"Harrison W. L.","year":"2016","unstructured":"W. L. Harrison , I. Graves , A. M. Procter , M. Becchi , and G. Allwein , \" A programming model for reconfigurable computing based in functional concurrency,\" in ReCoSoC , 2016 . W. L. Harrison, I. Graves, A. M. Procter, M. Becchi, and G. Allwein, \"A programming model for reconfigurable computing based in functional concurrency,\" in ReCoSoC, 2016."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11894063_24"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2012.06.007"},{"key":"e_1_3_2_1_8_1","first-page":"577","article-title":"An FPGA based SHA-256 processor","author":"Ting K. K.","year":"2002","unstructured":"K. K. Ting , S. C. L. Yuen , K. H. Lee , and P. H. W. Leong , \" An FPGA based SHA-256 processor ,\" in FPL , 2002 , pp. 577 -- 585 . K. K. Ting, S. C. L. Yuen, K. H. Lee, and P. H. W. Leong, \"An FPGA based SHA-256 processor,\" in FPL, 2002, pp. 577--585.","journal-title":"FPL"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2006.70"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-005-0086-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSD.2015.7348105"},{"key":"e_1_3_2_1_12_1","unstructured":"\"Secure Hash Standard (SHS) \" Federal Information Processing Standards Publication FIPS Pub 180--2 Aug. 2002.  \"Secure Hash Standard (SHS) \" Federal Information Processing Standards Publication FIPS Pub 180--2 Aug. 2002."},{"key":"e_1_3_2_1_13_1","first-page":"188","article-title":"Hardware\/software co-verification of cryptographic algorithms using cryptol","author":"Erk\u00f6k L.","year":"2009","unstructured":"L. Erk\u00f6k , M. Carlsson , and A. Wick , \" Hardware\/software co-verification of cryptographic algorithms using cryptol ,\" in FMCAD , 2009 , pp. 188 -- 191 . L. Erk\u00f6k, M. Carlsson, and A. Wick, \"Hardware\/software co-verification of cryptographic algorithms using cryptol,\" in FMCAD, 2009, pp. 188--191.","journal-title":"FMCAD"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2701415"},{"key":"e_1_3_2_1_15_1","volume-title":"Introduction to Functional Programming","author":"Bird R.","year":"1988","unstructured":"R. Bird and P. Wadler , Introduction to Functional Programming . Prentice Hall , 1988 . R. Bird and P. Wadler, Introduction to Functional Programming. Prentice Hall, 1988."},{"key":"e_1_3_2_1_16_1","unstructured":"\"Code repository for rsp16.\" {Online}. Available: https:\/\/goo.gl\/xuGkja  \"Code repository for rsp16.\" {Online}. Available: https:\/\/goo.gl\/xuGkja"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569845","volume-title":"Higher Order Logic and Hardware Verification","author":"Melham T.","year":"1993","unstructured":"T. Melham , Higher Order Logic and Hardware Verification . Cambridge Univ. Press , 1993 . T. Melham, Higher Order Logic and Hardware Verification. Cambridge Univ. Press, 1993."}],"event":{"name":"ESWEEK'16: TWELFTH EMBEDDED SYSTEM WEEK","location":"Pittsburgh Pennsylvania","acronym":"ESWEEK'16","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE-RS Reliability Society","IEEE CEDA","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 27th International Symposium on Rapid System Prototyping: Shortening the Path from Specification to Prototype"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2990299.2990318","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2990299.2990318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:34Z","timestamp":1750217974000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2990299.2990318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":18,"alternative-id":["10.1145\/2990299.2990318","10.1145\/2990299"],"URL":"https:\/\/doi.org\/10.1145\/2990299.2990318","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]},"assertion":[{"value":"2016-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}