{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T13:11:36Z","timestamp":1760015496599},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250316"},{"type":"electronic","value":"9783642250323"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25032-3_2","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T01:27:53Z","timestamp":1320802073000},"page":"16-27","source":"Crossref","is-referenced-by-count":6,"title":["SPARKSkein: A Formal and Fast Reference Implementation of Skein"],"prefix":"10.1007","author":[{"given":"Roderick","family":"Chapman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Botcazou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angela","family":"Wallenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Skein project homepage, \n                  \n                    http:\/\/www.skein-hash.info\/"},{"issue":"1","key":"2_CR2","first-page":"36","volume":"7","author":"B. Carr\u00e9","year":"1985","unstructured":"Carr\u00e9, B., Bergeretti, F.: Data- and Information-Flow Analysis of While Programs. ACM Transactions on Programming Languages and Systems\u00a07(1), 36\u201361 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR3","unstructured":"Barnes, J.: High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley (2003) (reprinted in 2007) ISBN 978-0-321-13616-0"},{"key":"2_CR4","unstructured":"Tokeneer Discovery: A SPARK Tutorial, \n                  \n                    http:\/\/www.adacore.com\/home\/products\/sparkpro\/tokeneer\/discovery\/"},{"key":"2_CR5","unstructured":"SPARK GPL Edition site, \n                  \n                    http:\/\/libre.adacore.com\/"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Jackson, P.B., Ellis, B.J., Sharp, K.: Using SMT Solvers to Verify High-Integrity Programs. In: 2nd International Workshop on Automated Formal Methods, AFM 2007, Atlanta, Georgia, USA (2007), \n                  \n                    http:\/\/homepages.inf.ed.ac.uk\/pbj\/","DOI":"10.1145\/1345169.1345177"},{"key":"2_CR7","unstructured":"Z3: An efficient theorem prover. Microsoft Research, \n                  \n                    http:\/\/research.microsoft.com\/enus\/um\/redmond\/projects\/z3\/"},{"key":"2_CR8","unstructured":"Alt-Ergo website, \n                  \n                    http:\/\/alt-ergo.lri.fr\/"},{"key":"2_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"2_CR10","unstructured":"Jacobs, B., Piessens, F.: The VeriFast program verifier. Technical Report CW-520, Department of Computer Science, Katholieke Universiteit Leuven, Belgium (August 2008)"},{"key":"2_CR11","unstructured":"VCC: A Verifier for Concurrent C, \n                  \n                    http:\/\/research.microsoft.com\/en-us\/projects\/vcc\/"},{"key":"2_CR12","unstructured":"National Institute of Standards and Technology, Computer Security and Resource Center, Cryptographic Hash Algorithm Competition, \n                  \n                    http:\/\/csrc.nist.gov\/groups\/ST\/hash\/sha-3\/index.html"},{"key":"2_CR13","unstructured":"The Skein Hash Function Family, Ferguson, N., et al., \n                  \n                    http:\/\/www.skein-hash.info\/sites\/default\/files\/skein1.1.pdf"}],"container-title":["Lecture Notes in Computer Science","Formal Methods, Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25032-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T05:45:38Z","timestamp":1555393538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25032-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250316","9783642250323"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25032-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}