{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:06:12Z","timestamp":1725469572800},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359982"},{"type":"electronic","value":"9783540359999"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787952_2","type":"book-chapter","created":{"date-parts":[[2006,8,29]],"date-time":"2006-08-29T09:45:39Z","timestamp":1156844739000},"page":"13-31","source":"Crossref","is-referenced-by-count":1,"title":["TIVA: Trusted Integrity Verification Architecture"],"prefix":"10.1007","author":[{"given":"Mahadevan","family":"Gomathisankaran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akhilesh","family":"Tyagi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Seshadri, A., et al.: SWATT: SoftWare-based ATTestation for Embedded Devices. In: Proceedings of ISSP 2004 (2004)","DOI":"10.1109\/SECPRI.2004.1301329"},{"key":"2_CR2","unstructured":"Kennell, R., Jamieson, L.H.: Establishing the Genuinity of Remote Computer Systems. In: Proceedings of 12 th USENIX Security Symposium (2003)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Collberg, C., Thomborson, C.: Software watermarking: Models and dynamic embeddings. In: POPL 1999: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1999)","DOI":"10.1145\/292540.292569"},{"key":"2_CR4","unstructured":"Shankar, U., Chew, M., Tygar, J.D.: Side effects are not sufficient to authenticate software. In: Proceedings of 13 th USENIX Security Symposium (2004)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Collberg, C., Thomborson, C.: Watermarking, tamper-proofing, and obfuscation - tools for software protection. IEEE Transactions on Software Engineering\u00a028(8) (2002)","DOI":"10.1109\/TSE.2002.1027797"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Fredkin, E., Toffoli, T.: Conservative Logic. International Journal of Theoretical Physics\u00a021(3\/4) (April 1982)","DOI":"10.1007\/BF01857727"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Toffoli, T.: Reversible Computing. Technical Report MIT\/LCS\/TM151\/1980, MIT Laboratory for Computer Science (1980)","DOI":"10.21236\/ADA082021"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bennett, R., Landauer, R.: Fundamental Physical Limits of Computation. Scientific American, 48\u201358 (1985)","DOI":"10.1038\/scientificamerican0785-48"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"DeHon, A.: DPGA-coupled microprocessor: Commodity ICs for the early 21st centry. In: Proc. of IEEE workshop on FPGAs for Custom Computing Machines, pp. 31\u201339 (April 1994)","DOI":"10.1109\/FPGA.1994.315596"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Star-HSPICE 2001.4 Avant! Corporation","DOI":"10.1016\/S1471-3918(01)80060-5"},{"key":"2_CR11","unstructured":"Wilton, S.J.E., Jouppi, N.P.: An Enhanced Access and Cycle Time model for On-Chip Caches, WRL Research Technical Report 93\/5 (July 1994)"},{"key":"2_CR12","unstructured":"Intel PCA Processors Data Sheets, http:\/\/www.intel.com\/design\/pca\/applicationsprocessors\/index.htm"},{"key":"2_CR13","unstructured":"IBM Power PC Data Sheets, http:\/\/www-306.ibm.com\/chips\/techlib\/techlib.nsf\/products\/"},{"key":"2_CR14","unstructured":"Taiwan Semiconductor Manufacturing Company Ltd., http:\/\/www.tsmc.com"},{"key":"2_CR15","unstructured":"Berkeley Predictive Technology Model, http:\/\/www-device.eecs.berkeley.edu"},{"key":"2_CR16","unstructured":"Sailer, R., Zhang, X., Jaeger, T., Doorn, L.v.: Design and Implementation of a TCG-based Integrity Measurement Architecture. In: Proc. of the 13 th USENIX Security Symposium (2004)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Sailer, R., Jaeger, T., Zhang, X., Doorn, L.v.: Attestation-based Policy Enforcement for Remote Access. In: Proc. of the 11 th ACM Conference on Computer and Communications Security, pp. 308\u2013317 (2004)","DOI":"10.1145\/1030083.1030125"},{"key":"2_CR18","unstructured":"AOL. The America Online Instant Messenger Application, http:\/\/www.aol.com"},{"key":"2_CR19","unstructured":"PyxisSystemsTechnologies. AIM\/oscar protocol specification: Section 3: Connection Management (2002), http:\/\/aimdoc.sourceforge.net\/faim\/protocol\/section3.html"},{"key":"2_CR20","unstructured":"Trusted Computing Group, Trusted Platform Module Specification, Version 1.2, Revision 62, http:\/\/www.trustedcomputinggroup.org"},{"key":"2_CR21","unstructured":"HMAC. Internet RFC 2104 (February 1997)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Linn, C., Debray, S.: Obfuscation of Executable Code to Improve Resistance to Static Disassembly. In: Proc. of 10 th ACM Conference of Computer and Communications Security, pp. 290\u2013299 (October 2003)","DOI":"10.1145\/948109.948149"},{"key":"2_CR23","unstructured":"Cho, W., Lee, I., Park, S.: Against Intelligent Tampering: Software tamper resistance by extended control flow obfuscation. In: Proc. of World Multiconference on Systems, Cybernetics, and Informatics, International Institute of Informatics and Systematics (2001)"},{"key":"2_CR24","unstructured":"Ogsio, T., Sakabe, Y., Soshi, M., Miyaji, A.: Software obfuscation on a theoretical basis and its implementation. IEEE Transaction Fundamentals\u00a0E86(A)-1 (January 2003)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-45146-4_27","volume-title":"Advances in Cryptology - CRYPTO 2003","author":"Y. Ishai","year":"2003","unstructured":"Ishai, Y., Sahai, A., Wagner, D.: Private Circuits: Securing Hardware against Probing Attacks. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol.\u00a02729, pp. 463\u2013481. Springer, Heidelberg (2003)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/2.955100","volume":"34","author":"J. Dyer","year":"2001","unstructured":"Dyer, J., Lindemann, M., Perez, R., Sailer, R., Smith, S.W., van Doorn, L., Weingart, S.: Building the IBM 4758 Secure Coprocessor. IEEE Computer\u00a034, 57\u201366 (2001)","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Digital Rights Management. Technologies, Issues, Challenges and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787952_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T19:28:53Z","timestamp":1555788533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787952_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359982","9783540359999"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11787952_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}