{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:46:29Z","timestamp":1742935589803,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319124650"},{"type":"electronic","value":"9783319124667"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12466-7_3","type":"book-chapter","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T04:44:58Z","timestamp":1413953098000},"page":"38-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Canavese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuele","family":"Cesena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Ouchary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Pedicini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Roversi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,22]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-32495-6_2","volume-title":"Foundational and Practical Aspects of Resource Analysis","author":"E Cesena","year":"2012","unstructured":"Cesena, E., Pedicini, M., Roversi, L.: Typing a core binary-field arithmetic in a light logic. In: Pe\u00f1a, R., van Eekelen, M., Shkaravska, O. (eds.) FOPARA 2011. LNCS, vol. 7177, pp. 19\u201335. Springer, Heidelberg (2012)"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/291251.289440","volume":"34","author":"P Bjesse","year":"1998","unstructured":"Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in Haskell. SIGPLAN Not. 34(1), 174\u2013184 (1998)","journal-title":"SIGPLAN Not."},{"issue":"1","key":"3_CR3","first-page":"41","volume":"207","author":"P Baillot","year":"2009","unstructured":"Baillot, P., Terui, K.: Light types for polynomial time computation in lambda calculus. I&C 207(1), 41\u201362 (2009)","journal-title":"I&C"},{"issue":"8","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1109\/TC.2004.43","volume":"53","author":"K Fong","year":"2004","unstructured":"Fong, K., Hankerson, D., Lopez, J., Menezes, A.: Field inversion and point halving revisited. IEEE Trans. Comput. 53(8), 1047\u20131059 (2004)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/504077.504081","volume":"3","author":"A Asperti","year":"2002","unstructured":"Asperti, A., Roversi, L.: Intuitionistic light affine logic. ACM ToCL 3(1), 1\u201339 (2002)","journal-title":"ACM ToCL"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-48168-0_33","volume-title":"Computer Science Logic","author":"L Roversi","year":"1999","unstructured":"Roversi, L.: A P-time completeness proof for light logics. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol. 1683, pp. 469\u2013483. Springer, Heidelberg (1999)"},{"key":"3_CR7","unstructured":"The OpenSSL team: OpenSSL: The Open Source toolkit for SSL\/TLS (2013). (http:\/\/www.openssl.org\/)"},{"key":"3_CR8","unstructured":"National Institute of Standards and Technology: FIPS PUB 186\u20133 FEDERAL INFORMATION PROCESSING STANDARDS PUBLICATION Digital Signature Standard (DSS), June 2009"}],"container-title":["Lecture Notes in Computer Science","Foundational and Practical Aspects of Resource Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12466-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T14:51:03Z","timestamp":1676904663000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12466-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319124650","9783319124667"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12466-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"22 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}