{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:13:22Z","timestamp":1725675202484},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642293191"},{"type":"electronic","value":"9783642293207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29320-7_21","type":"book-chapter","created":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T04:45:30Z","timestamp":1334637930000},"page":"316-334","source":"Crossref","is-referenced-by-count":3,"title":["Type Checking Cryptography Implementations"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Moss","sequence":"additional","affiliation":[]},{"given":"Dan","family":"Page","sequence":"additional","affiliation":[]},{"given":"Nuno F.","family":"Rodrigues","sequence":"additional","affiliation":[]},{"given":"Paulo F.","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Barbosa, M., Moss, A., Page, D., Rodrigues, N.F., Silva, P.F.: Type checking cryptography implementations. Tech. Rep. DI-CCTC-11-01, CCTC, Univ. Minho (2011)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11502760_3","volume-title":"Fast Software Encryption","author":"D.J. Bernstein","year":"2005","unstructured":"Bernstein, D.J.: The Poly1305-AES Message-Authentication Code. In: Gilbert, H., Handschuh, H. (eds.) FSE 2005. LNCS, vol.\u00a03557, pp. 32\u201349. Springer, Heidelberg (2005)"},{"key":"21_CR3","unstructured":"Bernstein, D.J.: Cryptography in NaCl (2009), \n                  \n                    http:\/\/nacl.cr.yp.to"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Jonsson, J., Kaliski, B.: Public-Key Cryptography Standards (PKCS) #1: RSA Cryptography Specification Version 2.1 (2003)","DOI":"10.17487\/rfc3447"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Lewis, J.: Cryptol: specification, implementation and verification of high-grade cryptographic applications. In: FMSE 2007, p. 41. ACM (2007)","DOI":"10.1145\/1314436.1314442"},{"key":"21_CR6","doi-asserted-by":"publisher","DOI":"10.1201\/9781439821916","volume-title":"Handbook of Applied Cryptography","author":"A.J. Menezes","year":"1996","unstructured":"Menezes, A.J., Vanstone, S.A., Oorschot, P.C.V.: Handbook of Applied Cryptography. CRC Press, Inc., Boca Raton (1996)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Silva, P.F., Oliveira, J.N.: \u2019Galculator\u2019: functional prototype of a Galois-connection based proof assistant. In: PPDP 2008, pp. 44\u201355. ACM (2008)","DOI":"10.1145\/1389449.1389456"},{"key":"21_CR9","unstructured":"Xi, H.: Imperative programming with dependent types. In: LICS 2000, pp. 375\u2013387. IEEE Computer Society (2000)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29320-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:35:08Z","timestamp":1620128108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29320-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642293191","9783642293207"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29320-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}