{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:04:40Z","timestamp":1725505480828},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540791034"},{"type":"electronic","value":"9783540791041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79104-1_11","type":"book-chapter","created":{"date-parts":[[2008,3,13]],"date-time":"2008-03-13T07:28:21Z","timestamp":1205393301000},"page":"146-160","source":"Crossref","is-referenced-by-count":4,"title":["Secure Cryptographic Precomputation with Insecure Memory"],"prefix":"10.1007","author":[{"given":"Patrick P.","family":"Tsang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean W.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73420-8_43","volume-title":"Automata, Languages and Programming","author":"B. Adida","year":"2007","unstructured":"Adida, B., Wikstr\u00f6m, D.: Offline\/Online Mixing. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 484\u2013495. Springer, Heidelberg (2007)"},{"key":"11_CR2","unstructured":"Anderson, R., Kuhn, M.: Tamper Resistance\u2014A Cautionary Note. In: Proceedings of the 2nd USENIX Workshop on Electronic Commerce, pp. 1\u201311 (1996)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/3-540-44448-3_41","volume-title":"Advances in Cryptology - ASIACRYPT 2000","author":"M. Bellare","year":"2000","unstructured":"Bellare, M., Namprempre, C.: Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm. In: Okamoto, T. (ed.) ASIACRYPT 2000. LNCS, vol.\u00a01976, pp. 531\u2013545. Springer, Heidelberg (2000)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/168588.168596","volume-title":"Proceedings of the 1st ACM conference on Computer and communications security","author":"M. Bellare","year":"1993","unstructured":"Bellare, M., Rogaway, P.: Random Oracles are Practical: A Paradigm for Designing Efficient Protocols. In: Proceedings of the 1st ACM conference on Computer and communications security, pp. 62\u201373. ACM Press, New York (1993)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-540-28628-8_3","volume-title":"Advances in Cryptology \u2013 CRYPTO 2004","author":"D. Boneh","year":"2004","unstructured":"Boneh, D., Boyen, X., Shacham, H.: Short Group Signatures. In: Franklin, M. (ed.) CRYPTO 2004. LNCS, vol.\u00a03152, pp. 41\u201355. Springer, Heidelberg (2004)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-47555-9_18","volume-title":"Advances in Cryptology - EUROCRYPT \u201992","author":"E.F. Brickell","year":"1993","unstructured":"Brickell, E.F., Gordon, D.M., McCurley, K.S., Wilson, D.B.: Fast Exponentiation with Precomputation (Extended Abstract). In: Rueppel, R.A. (ed.) EUROCRYPT 1992. LNCS, vol.\u00a0658, pp. 200\u2013207. Springer, Heidelberg (1993)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-44987-6_7","volume-title":"Advances in Cryptology - EUROCRYPT 2001","author":"J. Camenisch","year":"2001","unstructured":"Camenisch, J., Lysyanskaya, A.: An Efficient System for Non-transferable Anonymous Credentials with Optional Anonymity Revocation. In: Pfitzmann, B. (ed.) EUROCRYPT 2001. LNCS, vol.\u00a02045, pp. 93\u2013118. Springer, Heidelberg (2001)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Chaum, D.: Untraceable Electronic Mail, Return Addresses, and Digital Pseudonyms. Communications of the ACM\u00a04(2) (February 1981)","DOI":"10.1145\/358549.358563"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/978-3-540-40061-5_12","volume-title":"Advances in Cryptology - ASIACRYPT 2003","author":"D.E. Clarke","year":"2003","unstructured":"Clarke, D.E., Devadas, S., van Dijk, M., Gassend, B., Suh, G.E.: Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking. In: Laih, C.-S. (ed.) ASIACRYPT 2003. LNCS, vol.\u00a02894, pp. 188\u2013207. Springer, Heidelberg (2003)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/32.979991","volume":"28","author":"P.T. Devanbu","year":"2002","unstructured":"Devanbu, P.T., Stubblebine, S.G.: Stack and Queue Integrity on Hostile Platforms. IEEE Trans. Software Eng.\u00a028(1), 100\u2013108 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Dworkin, M.: Recommendation for Block Cipher Modes of Operation: Galois\/Counter Mode (GCM) and GMAC (June 2007)","DOI":"10.6028\/NIST.SP.800-38d"},{"issue":"10","key":"11_CR12","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/2.955100","volume":"34","author":"J.G. Dyer","year":"2001","unstructured":"Dyer, J.G., Lindemann, M., Perez, R., Sailer, R., van Doorn, L., Smith, S.W., Weingart, S.: Building the IBM 4758 Secure Coprocessor. IEEE Computer\u00a034(10), 57\u201366 (2001)","journal-title":"IEEE Computer"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Gassend, B., Suh, G.E., Clarke, D.E., van Dijk, M., Devadas, S.: Caches and Hash Trees for Efficient Memory Integrity. In: HPCA, pp. 295\u2013306 (2003)","DOI":"10.1109\/HPCA.2003.1183547"},{"issue":"3","key":"11_CR14","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/233551.233553","volume":"43","author":"O. Goldreich","year":"1996","unstructured":"Goldreich, O., Ostrovsky, R.: Software Protection and Simulation on Oblivious RAMs. Journal of the ACM\u00a043(3), 431\u2013473 (1996)","journal-title":"Journal of the ACM"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1137\/0218012","volume":"18","author":"S. Goldwasser","year":"1989","unstructured":"Goldwasser, S., Micali, S., Rackoff, C.: The Knowledge Complexity of Interactive Proof Systems. SIAM J. Comput.\u00a018(1), 186\u2013208 (1989)","journal-title":"SIAM J. Comput."},{"key":"11_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"J.V. Guttag","year":"1993","unstructured":"Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Springer, New York (1993)"},{"key":"11_CR17","unstructured":"Kauer, B.: OSLO: Improving the Security of Trusted Computing. In: USENIX Security Symposium, USENIX, pp. 229\u2013237 (2007)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Lie, D., Thekkath, C.A., Mitchell, M., Lincoln, P., Boneh, D., Mitchell, J.C., Horowitz, M.: Architectural Support for Copy and Tamper Resistant Software. In: ASPLOS, pp. 168\u2013177 (2000)","DOI":"10.21236\/ADA419599"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-3-540-30556-9_27","volume-title":"Progress in Cryptology - INDOCRYPT 2004","author":"D.A. McGrew","year":"2004","unstructured":"McGrew, D.A., Viega, J.: The Security and Performance of the Galois\/Counter Mode (GCM) of Operation. In: Canteaut, A., Viswanathan, K. (eds.) INDOCRYPT 2004. LNCS, vol.\u00a03348, pp. 343\u2013355. Springer, Heidelberg (2004)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Merkle, R.C.: Protocols for Public Key Cryptosystems. In: IEEE Symposium on Security and Privacy, pp. 122\u2013134 (1980)","DOI":"10.1109\/SP.1980.10006"},{"key":"11_CR21","unstructured":"NIST. FIPS 186-2: Digital Signature Standard (DSS). Technical report, National Institute of Standards and Technology (NIST) (2000)"},{"issue":"1","key":"11_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1055626.1055631","volume":"33","author":"B. Rogers","year":"2005","unstructured":"Rogers, B., Solihin, Y., Prvulovic, M.: Memory Predecryption: Hiding the Latency Overhead of Memory Encryption. SIGARCH Computer Architecture News\u00a033(1), 27\u201333 (2005)","journal-title":"SIGARCH Computer Architecture News"},{"key":"11_CR23","first-page":"1863","volume-title":"ISCAS","author":"A. Satoh","year":"2007","unstructured":"Satoh, A.: High-Speed Parallel Hardware Architecture for Galois Counter Mode. In: ISCAS, pp. 1863\u20131866. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"11_CR24","first-page":"14","volume-title":"ISCA","author":"W. Shi","year":"2005","unstructured":"Shi, W., Lee, H.-H.S., Ghosh, M., Lu, C., Boldyreva, A.: High Efficiency Counter Mode Security Architecture via Prediction and Precomputation. In: ISCA, pp. 14\u201324. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"8","key":"11_CR25","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1016\/S1389-1286(98)00019-X","volume":"31","author":"S.W. Smith","year":"1999","unstructured":"Smith, S.W., Weingart, S.: Building a High-performance, Programmable Secure Coprocessor. Computer Networks\u00a031(8), 831\u2013860 (1999)","journal-title":"Computer Networks"},{"key":"11_CR26","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/782814.782838","volume-title":"ICS","author":"G.E. Suh","year":"2003","unstructured":"Suh, G.E., Clarke, D.E., Gassend, B., van Dijk, M., Devadas, S.: AEGIS: Architecture for tamper-evident and tamper-resistant processing. In: ICS, pp. 160\u2013171. ACM Press, New York (2003)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Suh, G.E., Clarke, D.E., Gassend, B., van Dijk, M., Devadas, S.: Efficient Memory Integrity Verification and Encryption for Secure Processors. In: MICRO, pp. 339\u2013350. ACM\/IEEE (2003)","DOI":"10.1109\/MICRO.2003.1253207"},{"key":"11_CR28","unstructured":"TPM Work Group. TCG TPM Specification Version 1.2 Revision 103. Technical report, Trusted Computing Group (2007)"},{"key":"11_CR29","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1315245.1315256","volume-title":"CCS 2007: Proceedings of the 14th ACM conference on Computer and communications security","author":"P.P. Tsang","year":"2007","unstructured":"Tsang, P.P., Au, M.H., Kapadia, A., Smith, S.W.: Blacklistable Anonymous Credentials: Blocking Misbehaving Users without TTPs. In: CCS 2007: Proceedings of the 14th ACM conference on Computer and communications security, pp. 72\u201381. ACM, New York (2007)"},{"key":"11_CR30","unstructured":"Yang, J., Zhang, Y., Gao, L.: Fast Secure Processor for Inhibiting Software Piracy and Tampering. In: MICRO, pp. 351\u2013360. ACM\/IEEE (2003)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Yen, S.-M., Laih, C.-S., Lenstra, A.K.: Multi-Exponentiation. In: IEE Proc. Computers and Digital Techniques, vol.\u00a0141, pp. 325\u2013326 (1994)","DOI":"10.1049\/ip-cdt:19941271"}],"container-title":["Lecture Notes in Computer Science","Information Security Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79104-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,23]],"date-time":"2024-02-23T18:24:33Z","timestamp":1708712673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79104-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540791034","9783540791041"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79104-1_11","relation":{},"subject":[]}}