{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T04:59:06Z","timestamp":1764133146624},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030014452"},{"type":"electronic","value":"9783030014469"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01446-9_5","type":"book-chapter","created":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T17:46:13Z","timestamp":1538847973000},"page":"75-93","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Secure Outsourcing of Cryptographic Circuits Manufacturing"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Ateniese","sequence":"first","affiliation":[]},{"given":"Aggelos","family":"Kiayias","sequence":"additional","affiliation":[]},{"given":"Bernardo","family":"Magri","sequence":"additional","affiliation":[]},{"given":"Yiannis","family":"Tselekounis","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Venturi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,7]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-54631-0_9","volume-title":"Public-Key Cryptography \u2013 PKC 2014","author":"P Ananth","year":"2014","unstructured":"Ananth, P., Chandran, N., Goyal, V., Kanukurthi, B., Ostrovsky, R.: Achieving privacy in verifiable computation with multiple servers \u2013 without FHE and without pre-processing. In: Krawczyk, H. (ed.) PKC 2014. LNCS, vol. 8383, pp. 149\u2013166. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54631-0_9"},{"key":"5_CR2","unstructured":"Ateniese, G., Kiayias, A., Magri, B., Tselekounis, Y., Venturi, D.: Secure outsourcing of circuit manufacturing. Cryptology ePrint Archive, Report 2016\/527 (2016). https:\/\/eprint.iacr.org\/2016\/527"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Ateniese, G., Magri, B., Venturi, D.: Subversion-resilient signature schemes. In: ACM CCS, pp. 364\u2013375 (2015)","DOI":"10.1145\/2810103.2813635"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Babai, L., Fortnow, L., Levin, L.A., Szegedy, M.: Checking computations in polylogarithmic time. In: ACM STOC, pp. 21\u201331 (1991)","DOI":"10.1145\/103418.103428"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-319-39555-5_18","volume-title":"Applied Cryptography and Network Security","author":"C Baum","year":"2016","unstructured":"Baum, C., Damg\u00e5rd, I., Toft, T., Zakarias, R.: Better preprocessing for secure multiparty computation. In: Manulis, M., Sadeghi, A.-R., Schneider, S. (eds.) ACNS 2016. LNCS, vol. 9696, pp. 327\u2013345. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39555-5_18"},{"key":"5_CR6","unstructured":"Beaumont, M., Hopkins, B., Newby, T.: Hardware Trojans\u2014Prevention, detection, countermeasures (a literature review). Technical report. Australian Government Department of Defence, July 2011"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s13389-013-0068-0","volume":"4","author":"GT Becker","year":"2014","unstructured":"Becker, G.T., Regazzoni, F., Paar, C., Burleson, W.P.: Stealthy dopant-level hardware Trojans: extended version. J. Cryptogr. Eng. 4(1), 19\u201331 (2014)","journal-title":"J. Cryptogr. Eng."},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-44371-2_1","volume-title":"Advances in Cryptology \u2013 CRYPTO 2014","author":"M Bellare","year":"2014","unstructured":"Bellare, M., Paterson, K.G., Rogaway, P.: Security of symmetric encryption against mass surveillance. In: Garay, J.A., Gennaro, R. (eds.) CRYPTO 2014. LNCS, vol. 8616, pp. 1\u201319. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44371-2_1"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Bhasin, S., Regazzoni, F.: A survey on hardware Trojan detection techniques. In: IEEE ISCAS, pp. 2021\u20132024 (2015)","DOI":"10.1109\/ISCAS.2015.7169073"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Costello, C., et al.: Geppetto: Versatile verifiable computation. In: IEEE Symposium on Security and Privacy, pp. 253\u2013270 (2015)","DOI":"10.1109\/SP.2015.23"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/978-3-642-54242-8_23","volume-title":"Theory of Cryptography","author":"D Dachman-Soled","year":"2014","unstructured":"Dachman-Soled, D., Kalai, Y.T.: Securing circuits and protocols against 1\/poly(k) tampering rate. In: Lindell, Y. (ed.) TCC 2014. LNCS, vol. 8349, pp. 540\u2013565. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54242-8_23"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/11535218_23","volume-title":"Advances in Cryptology \u2013 CRYPTO 2005","author":"I Damg\u00e5rd","year":"2005","unstructured":"Damg\u00e5rd, I., Ishai, Y.: Constant-round multiparty computation using a black-box pseudorandom generator. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol. 3621, pp. 378\u2013394. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11535218_23"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/978-3-642-32009-5_38","volume-title":"Advances in Cryptology \u2013 CRYPTO 2012","author":"I Damg\u00e5rd","year":"2012","unstructured":"Damg\u00e5rd, I., Pastro, V., Smart, N., Zakarias, S.: Multiparty computation from somewhat homomorphic encryption. In: Safavi-Naini, R., Canetti, R. (eds.) CRYPTO 2012. LNCS, vol. 7417, pp. 643\u2013662. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32009-5_38"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Dziembowski, S., Faust, S., Standaert, F.-X.: Private circuits III: hardware Trojan-Resilience via testing amplification. In: ACM CCS, pp. 142\u2013153 (2016)","DOI":"10.1145\/2976749.2978419"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Fiore, D., Gennaro, R., Pastro, V.: Efficiently verifiable computation on encrypted data. In: ACM CCS, pp. 844\u2013855 (2014)","DOI":"10.1145\/2660267.2660366"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-642-14623-7_25","volume-title":"Advances in Cryptology \u2013 CRYPTO 2010","author":"R Gennaro","year":"2010","unstructured":"Gennaro, R., Gentry, C., Parno, B.: Non-interactive verifiable computing: outsourcing computation to untrusted workers. In: Rabin, T. (ed.) CRYPTO 2010. LNCS, vol. 6223, pp. 465\u2013482. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14623-7_25"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Goldreich, O., Micali, S., Wigderson, A.: How to play any mental game or a completeness theorem for protocols with honest majority. In: ACM STOC, pp. 218\u2013229 (1987)","DOI":"10.1145\/28395.28420"},{"key":"5_CR18","volume-title":"No Place to Hide: Edward Snowden, the NSA, and the U.S. Surveillance State","author":"G Greenwald","year":"2014","unstructured":"Greenwald, G.: No Place to Hide: Edward Snowden, the NSA, and the U.S. Surveillance State. Metropolitan Books, New York (2014)"},{"key":"5_CR19","unstructured":"Hamburg, M., Kocher, P., Marson, M.: Analysis of Intel\u2019s Ivy Bridge digital random number generator. Technical report. Cryptography Research Inc., March 2012"},{"key":"5_CR20","unstructured":"Imeson, F., Emtenan, A., Garg, S., Tripunitara, M.V.: Securing computer hardware using 3D integrated circuit (IC) technology and split manufacturing for obfuscation. In: USENIX Security Symposium, pp. 495\u2013510 (2013)"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-662-44381-1_21","volume-title":"Advances in Cryptology \u2013 CRYPTO 2014","author":"Y Ishai","year":"2014","unstructured":"Ishai, Y., Ostrovsky, R., Zikas, V.: Secure multi-party computation with identifiable abort. In: Garay, J.A., Gennaro, R. (eds.) CRYPTO 2014. LNCS, vol. 8617, pp. 369\u2013386. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44381-1_21"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/11761679_19","volume-title":"Advances in Cryptology - EUROCRYPT 2006","author":"Y Ishai","year":"2006","unstructured":"Ishai, Y., Prabhakaran, M., Sahai, A., Wagner, D.: Private circuits II: keeping secrets in tamperable circuits. In: Vaudenay, S. (ed.) EUROCRYPT 2006. LNCS, vol. 4004, pp. 308\u2013327. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11761679_19"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-42045-0_9","volume-title":"Advances in Cryptology - ASIACRYPT 2013","author":"A Kiayias","year":"2013","unstructured":"Kiayias, A., Tselekounis, Y.: Tamper resilient circuits: the adversary at the gates. In: Sako, K., Sarkar, P. (eds.) ASIACRYPT 2013. LNCS, vol. 8270, pp. 161\u2013180. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-42045-0_9"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Love, E., Jin, Y., Makris, Y.: Enhancing security via provably trustworthy hardware intellectual property. In: IEEE HOST, pp. 12\u201317 (2011)","DOI":"10.1109\/HST.2011.5954988"},{"key":"5_CR25","unstructured":"Mak, M.A.: Trusted defense microelectronics: future access and capabilities are uncertain. Technical report. United States Government Accountability Office, October 2015"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Mavroudis, V., Cerulli, A., Svenda, P., Cvrcek, D., Klinec, D., Danezis, G.: A touch of evil: high-assurance cryptographic hardware from untrusted components. In: ACM CCS, pp. 1583\u20131600 (2017)","DOI":"10.1145\/3133956.3133961"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"McIntyre, D.R., Wolff, F.G., Papachristou, C.A., Bhunia, S.: Dynamic evaluation of hardware trust. In: IEEE HOST, pp. 108\u2013111 (2009)","DOI":"10.1109\/HST.2009.5224990"},{"key":"5_CR28","unstructured":"Otto, M.: Fault attacks and countermeasures. Ph.D. thesis. University of Paderborn, Germany (2006)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Parno, B., Howell, J., Gentry, C., Raykova, M.: Pinocchio: nearly practical verifiable computation. In: IEEE Symposium on Security and Privacy, pp. 238\u2013252 (2013)","DOI":"10.1109\/SP.2013.47"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Potkonjak, M.: Synthesis of trustable ICs using untrusted CAD tools. In: DAC, pp. 633\u2013634 (2010)","DOI":"10.1145\/1837274.1837435"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1201\/b19311-15","volume-title":"Securing Cyber-Physical Systems","author":"Jean-Pierre Seifert","year":"2015","unstructured":"Seifert, J.-P., Bayer, C.: Trojan-resilient circuits, Chap. 14. In: Pathan, A.-S.K. (ed.) Securing Cyber-Physical Systems, pp. 349\u2013370. CRC Press, Boca Raton, London, New York (2015)"},{"key":"5_CR32","unstructured":"Sharkey, B.: Trust in integrated circuits program. Technical report. DARPA, March 2007"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Wahby, R.S., Howald, M., Garg, S.J., Shelat, A., Walfish, M.: Verifiable ASICs. In: IEEE S&P, pp. 759\u2013778 (2016)","DOI":"10.1109\/SP.2016.51"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Waksman, A., Sethumadhavan, S.: Silencing hardware backdoors. In: IEEE Symposium on Security and Privacy, pp. 49\u201363 (2011)","DOI":"10.1109\/SP.2011.27"},{"issue":"2","key":"5_CR35","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/2641562","volume":"58","author":"M Walfish","year":"2015","unstructured":"Walfish, M., Blumberg, A.J.: Verifying computations without reexecuting them. Commun. ACM 58(2), 74\u201384 (2015)","journal-title":"Commun. ACM"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Wang, X., Ranellucci, S., Katz, J.: Global-scale secure multiparty computation. In: ACM CCS (2017)","DOI":"10.1145\/3133956.3133979"}],"container-title":["Lecture Notes in Computer Science","Provable Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01446-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T17:32:20Z","timestamp":1572024740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01446-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030014452","9783030014469"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01446-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ProvSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Provable Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jeju","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"provsec2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ssl.informatics.uow.edu.au\/provsec2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}