{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T19:10:21Z","timestamp":1736795421924,"version":"3.33.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Sci Technol"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.1007\/s11390-007-9007-9","type":"journal-article","created":{"date-parts":[[2007,2,9]],"date-time":"2007-02-09T18:31:12Z","timestamp":1171045872000},"page":"60-70","source":"Crossref","is-referenced-by-count":5,"title":["Higher-Level Hardware Synthesis of the KASUMI Algorithm"],"prefix":"10.1007","volume":"22","author":[{"given":"Issam W.","family":"Damaj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,2,14]]},"reference":[{"key":"9007_CR1","unstructured":"Xilinx. http:\/\/www.xilinx.com."},{"key":"9007_CR2","unstructured":"Altera. http:\/\/www.Altera.com."},{"key":"9007_CR3","unstructured":"Celoxica. http:\/\/www.celoxica.com."},{"key":"9007_CR4","unstructured":"Edwards D, Harris S, Forge J. High performance hardware from java. Xilinx Whitepaper, http:\/\/www.xilinx.com."},{"key":"9007_CR5","doi-asserted-by":"crossref","unstructured":"Li Y, Callahan T, Darnell E et al. Hardware-software codesign of embedded reconfigurable architectures. In Proc. the 37th Design Automation Conference, Los Angeles, USA, June 2000, p.30.","DOI":"10.1145\/337292.337559"},{"key":"9007_CR6","unstructured":"SystemC Network. http:\/\/www.systemc.org."},{"key":"9007_CR7","doi-asserted-by":"crossref","unstructured":"Abdallah A E. Functional Process Modelling. Research Directions in Parallel Functional Programming, Hammond K, Michealson G (eds.), Springer Verlag, October 1999, pp.339\u2013360.","DOI":"10.1007\/978-1-4471-0841-2_16"},{"key":"9007_CR8","doi-asserted-by":"crossref","unstructured":"Abdallah A E, Hawkins J. Formal behavioural synthesis of Handel-C parallel hardware implementation for functional specifications. In Proc. the 36th Annual Hawaii Int. Conf. System Sciences, IEEE Computer Society Press, January, 2003, pp. 278\u2013288.","DOI":"10.1109\/HICSS.2003.1174808"},{"key":"9007_CR9","unstructured":"Bird R. Introduction to Functional Programming Using Haskell. Addison Wesley, 1999."},{"key":"9007_CR10","doi-asserted-by":"crossref","unstructured":"Hoare C A R. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"9007_CR11","unstructured":"INMOS Ltd. OCCAM 2 Reference Manual. Prentice-Hall International, 1988."},{"key":"9007_CR12","unstructured":"SAGE. Report on the evaluation of 3GPP standard confidentiality and integrity algorithms. Technical Report, ETSI, October, 2000."},{"key":"9007_CR13","unstructured":"Kim H, Choi Y, Kim M, Ryu H. Hardware implementation of 3GPP KASUMI crypto algorithm. In Proc. the 2002 Int. Technical Conf. Circuits\/Systems, Computers and Communications (ITC-CSCC), Phuket, Thailand, July 2002, 1: 317\u2013320."},{"key":"9007_CR14","doi-asserted-by":"crossref","unstructured":"Alcantara J, Vieira A, Galvez-Durand F, Alves V. A methodology for dynamic power consumption estimation using VHDL descriptions. In Proc. Symposium on Integrated Circuits and Systems Design, Phuket, Thailand, September 2002, pp. 149\u2013154.","DOI":"10.1109\/SBCCI.2002.1137651"},{"key":"9007_CR15","unstructured":"Intel. http:\/\/www.intel.com."},{"key":"9007_CR16","unstructured":"SCI-WORX. http:\/\/www.sci-worx.com."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9007-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-007-9007-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9007-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T18:36:40Z","timestamp":1736793400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-007-9007-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,1]]}},"alternative-id":["9007"],"URL":"https:\/\/doi.org\/10.1007\/s11390-007-9007-9","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}