{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T11:00:39Z","timestamp":1648897239120},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,4,26]],"date-time":"2008-04-26T00:00:00Z","timestamp":1209168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s10617-008-9020-4","type":"journal-article","created":{"date-parts":[[2008,4,25]],"date-time":"2008-04-25T16:50:16Z","timestamp":1209142216000},"page":"243-260","source":"Crossref","is-referenced-by-count":1,"title":["Automated software attack recovery using rollback and\u00a0huddle"],"prefix":"10.1007","volume":"12","author":[{"given":"Jesse","family":"Sathre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Zambreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,4,26]]},"reference":[{"key":"9020_CR1","unstructured":"Abadi M, Budiu M, Erlingsson U, Ligatti J (2005) Control-flow integrity: Principles, implementations, and applications. In: Proceedings of the ACM conference on computer and communications security (CCS), pp 340\u2013353"},{"key":"9020_CR2","unstructured":"Bernstein DJ (2004) Unix security holes. Available at http:\/\/cr.yp.to\/2004-494.html"},{"key":"9020_CR3","unstructured":"Castro M, Costa M, Harris T (2006) Securing software by enforcing data-flow integrity. In: Proceedings of the workshop on architecture and system support for improving software dependability (ASID), pp\u00a042\u201351"},{"key":"9020_CR4","unstructured":"CERT (2004) US-CERT cyber security bulletin sb04-357. Available at http:\/\/www.us-cert.gov\/cas\/bulletins\/SB04-357.html"},{"issue":"1","key":"9020_CR5","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/1055626.1055636","volume":"33","author":"M Corliss","year":"2005","unstructured":"Corliss M, Lewis EC, Roth A (2005) Using DISE to protect return addresses from attack. Comput Archit News 33(1):65\u201372","journal-title":"Comput Archit News"},{"key":"9020_CR6","unstructured":"Cowan C, Pu C, Maier D, Hinton H, Walpole J, Bakke P, Beattie S, Grier A, Wagle P, Zhang Q (1998) Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks. In: Proceedings of the USENIX security symposium, pp 63\u201378"},{"key":"9020_CR7","unstructured":"Cowan C, Beattie S, Johansen J, Wagle P (2003) Pointguard: Protecting pointers from buffer overflow vulnerabilities. In: Proceedings of the USENIX security symposium, pp 91\u2013104"},{"issue":"4","key":"9020_CR8","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/1187976.1187977","volume":"3","author":"J Crandall","year":"2006","unstructured":"Crandall J, Wu SF, Chong F (2006) Minos: Architectural support for protecting control data. ACM Trans Archit Code Optim 3(4):359\u2013389","journal-title":"ACM Trans Archit Code Optim"},{"key":"9020_CR9","doi-asserted-by":"crossref","unstructured":"de Oliveira DAS, Crandall JR, Wassermann G, Wu SF, Su Z, Chong FT (2006) Execrecorder: Vm-based full-system replay for attack analysis and system recovery. In: ASID \u201906: Proceedings of the 1st workshop on architectural and system support for improving software dependability, pp 66\u201371","DOI":"10.1145\/1181309.1181320"},{"issue":"10","key":"9020_CR10","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/2.955100","volume":"34","author":"J Dyer","year":"2001","unstructured":"Dyer J, Lindemann M, Perez R, Sailer R, van Doorn L, Smith S, Weingart S (2001) Building the IBM 4758 secure coprocessor. Computer 34(10):57\u201366","journal-title":"Computer"},{"key":"9020_CR11","doi-asserted-by":"crossref","unstructured":"Feng H, Kolesnikov O, Fogla P, Lee W, Gong W (2003) Anomaly detection using call stack information. In: Proceedings of the IEEE symposium on security and privacy, pp 62\u201375","DOI":"10.1109\/SECPRI.2003.1199328"},{"key":"9020_CR12","doi-asserted-by":"crossref","unstructured":"Gao D, Reiter MK, Song D (2004) Gray-box extraction of execution graphs for anomaly detection. In: Proceedings of the ACM conference on computer and communications security (CCS), pp 318\u2013329","DOI":"10.1145\/1030083.1030126"},{"key":"9020_CR13","doi-asserted-by":"crossref","unstructured":"Ghosh A, O\u2019Connor T, McGraw G (1998) An automated approach for identifying potential vulnerabilities in software. In: Proceedings of the IEEE symposium on security and privacy, pp 104\u2013114","DOI":"10.1109\/SECPRI.1998.674827"},{"key":"9020_CR14","doi-asserted-by":"crossref","unstructured":"Guthaus M, Ringenberg J, Ernst D, Austin T, Mudge T, Brown R (2001) MiBench: A free, commercially representative embedded benchmark suite. In: Proceedings of the international workshop on workload characterization (WWC), pp 3\u201314","DOI":"10.1109\/WWC.2001.990739"},{"key":"9020_CR15","unstructured":"Kiriansky VL (2003) Secure execution environment via program shepherding. Master\u2019s thesis, Massachusetts Institute of Technology"},{"key":"9020_CR16","doi-asserted-by":"crossref","unstructured":"Lie D, Thekkath C, Mitchell M, Lincoln P, Boneh D, Mitchell J, Horowitz M (2000) Architectural support for copy and tamper resistant software. In: Proceedings of the 9th international conference on architectural support for programming languages and operating systems (ASPLOS-IX), pp 168\u2013177","DOI":"10.21236\/ADA419599"},{"key":"9020_CR17","doi-asserted-by":"crossref","unstructured":"Necula G, McPeak S, Weimer W (2002) CCured: Type-safe retrofitting of legacy code. In: Proceedings of the ACM symposium on principles of programming languages (POPL), pp 128\u2013139","DOI":"10.1145\/503272.503286"},{"key":"9020_CR18","unstructured":"Ozdoganoglu H, Vijaykumar T, Brodley C, Jalote A, Kuperman B (2003) SmashGuard: A hardware solution to prevent security attacks on the function return address. Technical Report TR-ECE 03-13, School of Electrical and Computer Engineering, Purdue University"},{"issue":"4","key":"9020_CR19","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MM.2006.76","volume":"26","author":"Y-J Park","year":"2006","unstructured":"Park Y-J, Zhang Z, Lee G (2006) Microarchitectural protection against stack-based buffer overflow attacks. IEEE Micro 26(4):62\u201371","journal-title":"IEEE Micro"},{"key":"9020_CR20","doi-asserted-by":"crossref","unstructured":"Prvulovic M, Zhangzy Z, Torrellas J (2002) ReVive: Cost-effective architectural support for rollback recovery in shared-memory multiprocessors. In: Proceedings of the international symposium on computer architecture (ISCA), pp 111\u2013122","DOI":"10.1145\/545214.545228"},{"key":"9020_CR21","doi-asserted-by":"crossref","unstructured":"Sekar R, Bendre M, Dhurjati D, Bollineni P (2001) A fast automaton-based method for detecting anomalous program behaviors. In: Proceedings of the IEEE symposium on security and privacy, pp 144\u2013155","DOI":"10.1109\/SECPRI.2001.924295"},{"issue":"2","key":"9020_CR22","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/1150019.1136520","volume":"34","author":"W Shi","year":"2006","unstructured":"Shi W, Lee H-HS, Falk L, Ghosh M (2006) An integrated framework for dependable and revivable architectures using multicore processors. SIGARCH Comput Archit News 34(2):102\u2013113","journal-title":"SIGARCH Comput Archit News"},{"key":"9020_CR23","unstructured":"Smirnov A, cker Chiueh T (2005) Dira: Automatic detection, identification, and repair of control-hijacking attacks. In: Proceedings of the 12th annual network and distributed system security symposium"},{"key":"9020_CR24","doi-asserted-by":"crossref","unstructured":"Sorin D, Martin M, Hill M, Wood D (2002) SafetyNet: Improving the availability of shared memory multiprocessors with global checkpoint\/recovery. In: Proceedings of international symposium on computer architecture (ISCA), pp 123\u2013134","DOI":"10.1145\/545214.545229"},{"key":"9020_CR25","doi-asserted-by":"crossref","unstructured":"Suh GE, Lee JW, Zhang D, Devadas S (2004) Secure program execution via dynamic information flow tracking. In: Proceedings of the 11th international conference on architectural support for programming languages and operating systems, pp 84\u201396","DOI":"10.1145\/1024393.1024404"},{"key":"9020_CR26","doi-asserted-by":"crossref","unstructured":"Suh GE, O\u2019Donnell C, Sachdev I, Devadas S (2005) Design and implementation of the AEGIS single-chip secure processor using physical random functions. In: Proceedings of the international symposium on computer architecture (ISCA), pp 25\u201336","DOI":"10.1109\/ISCA.2005.22"},{"key":"9020_CR27","doi-asserted-by":"crossref","unstructured":"Teodorescu R, Torrellas J (2005) Prototyping architectural support for program rollback using FPGAs. In: Proceedings of the international symposium on field-programmable custom computing machines (FCCM), pp 23\u201332","DOI":"10.1109\/FCCM.2005.55"},{"key":"9020_CR28","doi-asserted-by":"crossref","unstructured":"Tuck N, Calder B, Varghese G (2004) Hardware and binary modification support for code pointer protection from buffer overflow. In: Proceedings of the international symposium on microarchitecture (MICRO), pp 209\u2013220","DOI":"10.1109\/MICRO.2004.20"},{"key":"9020_CR29","doi-asserted-by":"crossref","unstructured":"Wagner D, Dean D (2001) Intrusion detection via static analysis. In: Proceedings of the IEEE symposium on security and privacy, p 156","DOI":"10.1109\/SECPRI.2001.924296"},{"key":"9020_CR30","unstructured":"Wilander J, Kamkar M (2003) A comparison of publicly available tools for dynamic buffer overflow prevention. In: Proceedings of the network and distributed system security symposium, pp 149\u2013162"},{"issue":"2","key":"9020_CR31","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/871656.859633","volume":"31","author":"M Xu","year":"2003","unstructured":"Xu M, Bodik R, Hill M (2003) A flight data recorder for enabling full-system multiprocessor deterministic replay. Comput Archit News 31(2):122\u2013135","journal-title":"Comput Archit News"},{"key":"9020_CR32","doi-asserted-by":"crossref","unstructured":"Yang J, Zhang Y, Gao L (2003) Fast secure processor for inhibiting software piracy and tampering. In: Proceedings of the 36th international symposium on microarchitecture (MICRO), pp 351\u2013360","DOI":"10.1109\/MICRO.2003.1253209"},{"key":"9020_CR33","doi-asserted-by":"crossref","unstructured":"Yourst M (2007) Ptlsim: A cycle accurate full system x86-64 microarchitectural simulator. In: Proceedings of the IEEE symposium on performance analysis of systems and software (ISPASS), pp 23\u201334","DOI":"10.1109\/ISPASS.2007.363733"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-008-9020-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-008-9020-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-008-9020-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:29:33Z","timestamp":1559244573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-008-9020-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,26]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["9020"],"URL":"https:\/\/doi.org\/10.1007\/s10617-008-9020-4","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,26]]}}}