{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:37:50Z","timestamp":1725838670799},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319256443"},{"type":"electronic","value":"9783319256450"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25645-0_7","type":"book-chapter","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T12:24:45Z","timestamp":1448281485000},"page":"95-111","source":"Crossref","is-referenced-by-count":4,"title":["Unraveling the Security Puzzle: A Distributed Framework to Build Trust in FPGAs"],"prefix":"10.1007","author":[{"given":"Devu Manikantan","family":"Shila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Venugopalan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cameron D.","family":"Patterson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,6]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abramovici, M., Bradley, P.: Integrated circuit security: new threats and solutions. In: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies, p. 55. ACM (2009)","DOI":"10.1145\/1558607.1558671"},{"issue":"5","key":"7_CR2","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MSPEC.2008.4505310","volume":"45","author":"S Adee","year":"2008","unstructured":"Adee, S.: The Hunt For The Kill Switch. IEEE Spectrum 45(5), 34\u201339 (2008)","journal-title":"IEEE Spectrum"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bilzor, M., Huffmire, T., Irvine, C., Levin, T.: Security checkers: detecting processor malicious inclusions at runtime. In: 2011 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), pp. 34\u201339. IEEE (2011)","DOI":"10.1109\/HST.2011.5954992"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chakraborty, R., Bhunia, S.: Security against hardware Trojan through a novel application of design obfuscation. In: IEEE\/ACM International Conference on Computer-Aided Design - Digest of Technical Papers, ICCAD 2009, pp. 113\u2013116 (2009)","DOI":"10.1145\/1687399.1687424"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MDT.2013.2247460","volume":"30","author":"R Chakraborty","year":"2013","unstructured":"Chakraborty, R., Saha, I., Palchaudhuri, A., Naik, G.: Hardware Trojan Insertion by Direct Modification of FPGA Configuration Bitstream. IEEE Design Test 30(2), 45\u201354 (2013)","journal-title":"IEEE Design Test"},{"key":"7_CR6","unstructured":"Defense Advanced Research Projects Agency (DARPA), Microsystems Technology Office\/MTO Broad Agency Announcement,: Supply chain hardware integrity for electronics defense (SHIELD) (2014)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Farag, M.M., Lerner, L.W., Patterson, C.D.: Interacting with hardware Trojans over a network. In: 2012 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), pp. 69\u201374. IEEE (2012)","DOI":"10.1109\/HST.2012.6224323"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Gebotys, C.H.: Security in embedded devices. Springer Science & Business Media (2009)","DOI":"10.1007\/978-1-4419-1530-6"},{"key":"7_CR9","unstructured":"Haider, S.K., Jin, C., Ahmad, M., Shila, D.M., Khan, O., van Dijk, M.: HaTCh: Hardware Trojan Catcher. Cryptology ePrint Archive, Report 2014\/943 (2014). \n                      http:\/\/eprint.iacr.org"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Hicks, M., Finnicum, M., King, S.T., Martin, M., Smith, J.M.: Overcoming an untrusted computing base: detecting and removing malicious hardware automatically. In: 2010 IEEE Symposium on Security and Privacy (SP), pp. 159\u2013172. IEEE (2010)","DOI":"10.1109\/SP.2010.18"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Huffmire, T., Brotherton, B., Wang, G., Sherwood, T., Kastner, R., Levin, T., Nguyen, T., Irvine, C.: Moats and drawbridges: an isolation primitive for reconfigurable hardware based systems. In: IEEE Symposium on Security and Privacy, SP 2007, pp. 281\u2013295, May 2007","DOI":"10.1109\/SP.2007.28"},{"issue":"2","key":"7_CR12","first-page":"10","volume":"3","author":"T Huffmire","year":"2010","unstructured":"Huffmire, T., Levin, T., Nguyen, T., Irvine, C., Brotherton, B., Wang, G., Sherwood, T., Kastner, R.: Security primitives for reconfigurable hardware-based systems. ACM Transactions on Reconfigurable Technology and Systems (TRETS) 3(2), 10 (2010)","journal-title":"ACM Transactions on Reconfigurable Technology and Systems (TRETS)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/11863908_28","volume-title":"Computer Security \u2013 ESORICS 2006","author":"T Huffmire","year":"2006","unstructured":"Huffmire, T., Prasad, S., Sherwood, T., Kastner, R.: Policy-driven memory protection for reconfigurable hardware. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol. 4189, pp. 461\u2013478. Springer, Heidelberg (2006)"},{"issue":"5","key":"7_CR14","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.cose.2008.05.002","volume":"27","author":"T Huffmire","year":"2008","unstructured":"Huffmire, T., Sherwood, T., Kastner, R., Levin, T.: Enforcing memory policy specifications in reconfigurable hardware. Computers & Security 27(5), 197\u2013215 (2008)","journal-title":"Computers & Security"},{"key":"7_CR15","unstructured":"Intelligence Advanced Research Projects Activity (IARPA): Trusted Integrated Chips (TIC) Program Broad Agency Announcement 11\u201309 (2011)"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MDT.2010.21","volume":"27","author":"Y Jin","year":"2010","unstructured":"Jin, Y., Makris, Y.: Hardware Trojans in Wireless Cryptographic ICs. IEEE Design Test of Computers 27(1), 26\u201335 (2010)","journal-title":"IEEE Design Test of Computers"},{"key":"7_CR17","first-page":"1","volume":"8","author":"ST King","year":"2008","unstructured":"King, S.T., Tucek, J., Cozzie, A., Grier, C., Jiang, W., Zhou, Y.: Designing and implementing malicious hardware. LEET 8, 1\u20138 (2008)","journal-title":"LEET"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lamberti, J., Manikantan Shila, D., Venugopal, V.: xDEFENSE: an extended DEFENSE for mitigating next generation intrusions (abstract only). In: Proceedings of the 2014 ACM\/SIGDA International Symposium on Field-programmable Gate Arrays, FPGA 2014, pp. 253\u2013253. ACM, New York (2014)","DOI":"10.1145\/2554688.2554714"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Myers, A.C., Liskov, B.: A decentralized model for information flow control, vol. 31. ACM (1997)","DOI":"10.1145\/268998.266669"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Shila, D.M., Venugopal, V.: Design, implementation and security analysis of hardware Trojan threats in FPGA. In: 2014 IEEE International Conference on Communications (ICC), pp. 719\u2013724, June 2014","DOI":"10.1109\/ICC.2014.6883404"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-33027-8_2","volume-title":"Cryptographic Hardware and Embedded Systems \u2013 CHES 2012","author":"S Skorobogatov","year":"2012","unstructured":"Skorobogatov, S., Woods, C.: Breakthrough silicon scanning discovers backdoor in military chip. In: Prouff, E., Schaumont, P. (eds.) CHES 2012. LNCS, vol. 7428, pp. 23\u201340. Springer, Heidelberg (2012)"},{"issue":"1","key":"7_CR22","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MDT.2010.7","volume":"27","author":"M Tehranipoor","year":"2010","unstructured":"Tehranipoor, M., Koushanfar, F.: A survey of hardware trojan taxonomy and detection. IEEE Design Test of Computers 27(1), 10\u201325 (2010)","journal-title":"IEEE Design Test of Computers"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Waksman, A., Suozzo, M., Sethumadhavan, S.: FANCI: identification of stealthy malicious logic using boolean functional analysis. In: Proceedings of the 2013 ACM SIGSAC conference on Computer & Communications Security, pp. 697\u2013708. ACM (2013)","DOI":"10.1145\/2508859.2516654"},{"key":"7_CR24","unstructured":"Xilinx Inc.: LogiCORE IP AXI Interconnect v2.1 Product Guide (2014)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, J., Yuan, F., Wei, L., Sun, Z., Xu, Q.: VeriTrust: verification for hardware trust. In: Proceedings of the 50th Annual Design Automation Conference, p. 61. ACM (2013)","DOI":"10.1145\/2463209.2488808"}],"container-title":["Lecture Notes in Computer Science","Network and System Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25645-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:56:09Z","timestamp":1559321769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25645-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319256443","9783319256450"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25645-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}