An integrated framework for dependable and revivable architectures using multicore processors

Proceedings - International Symposium on Computer Architecture

Volumn 2006, Issue , 2006, Pages 102-113

  Shi, Weidong ^a   Lee, Hsien Hsin S ^a   Falk, Laura ^b   Ghosh, Mrinmoy ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE SIMULATORS; MULTICORE PROCESSORS; REVIVABLE ARCHITECTURE; SELF HEALING NETWORK SERVICES;

COMPUTER HARDWARE; COMPUTER SIMULATION; COMPUTER SOFTWARE; PROGRAM PROCESSORS;

COMPUTER ARCHITECTURE;

EID: 33845907636     PISSN: 10636897     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISCA.2006.8     Document Type: Conference Paper

References (33)

1. CVE: Common Vulnerabilities and Exposures. http://www.cve.mitre.org/.
2. PaX Team, Non Executable Data Pages. http://pageexec.virtualave.net/ pageexec.txt.
3. Solar Designer, Non-executable User Stack. http://www.openwall.com/linux/ .
4. US-CERT Vulnerability Notes, http://www.kb.cert.org/vuls.
5. Aleph One. Smashing The Stack For Fun And Profit. Phrack, 7(49), November 1996.
6. T. M. Austin. DIVA: a reliable substrate for deep submicron microarchitecture design. In Proceedings of the 32nd International Symposium on Microarchitecture, 1999.
7. A. Avizienis. The Methodology of N-Version Programming, 1995.
8. N. S. Bowen and D. K. Pradhan. Virtual Checkpoints: Architecture and Performance. IEEE Transactions on Computers, 41(5):516-525, 1992.
9. G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot - A Technique for Cheap Recovery. In Proc. 6th Symposium on Operating Systems Design and Implementation, 2004.
10. P.-Y. Chung and C. Kintala. Checkpointing and Its Applications. In Proceedings of the 25th International Symposium on Fault-Tolerant Computing, pages 22-31, 1995.
11. C. Cowan, M. Barringer, S. Beattie, and G. Kroah-Hartman. FormatGuard: Automatic Protection From printf Format String Vulnerabilities. In Proceedings of the 10th USENIX Security Symposium, 2001.
12. C. Cowan, C. Pu, D. Maier, H. Hinton, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, and Q. Zhang. StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks. In Proceedings of the 7th USENIX Security Symposium, 1998.
13. J. R. Crandall and F. T. Chong. MINOS: Control Data Attack Prevention Orthogonal to Memory Model. In Proceedings of the 37th International Symposium on Microarchitecture, 2004.
14. T. Garfinkel and M. Rosenblum. A Virtual Machine Introspection Based Architecture for Intrusion Detection. In In Proc. Net. and Distributed Sys. Sec. Sym, February 2003.
15. M. Gomaa, C. Scarbrough, T. N. Vijaykumar, and I. Pomeranz. Transient-Fault Recovery for Chip Multiprocessors. In Proceedings of the 30th annual International Symposium on Computer Architecture, pages 98-109, 2003.
16. M. Gries and A. Romer. Performance Evaluation of Recent DRAM Architectures for Embedded Systems. In TIK Report Nr. 8&, Computing Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich, November 1999.
17. Y. Huang, N. Kolettis, and N. D. Fulton. Software Rejuvenation: Analysis, Module and Applications. In Proceedings of the 25th International Symposium on Fault-Tolerant Computing, 1995.
18. W.-M. W. Hwu and Y. N. Patt. Checkpoint Repair for Out-of-order Execution Machines. In Proceedings of the International Symposium on Computer Archtecture, 1987.
19. K. Lawton. Welcome to the Bochs × 86 PC Emulation Software Home Page, http://www.bochs.com.
20. V. Kiriansky, D. Bruening, and S. Amarasinghe. Secure Execution Via Program Shepherding. In Proceedings of the 11th Usenix Security Symposium, 2002.
21. N. Nakka, J. Xu, Z. Kalbarczyk, and R. K. Iyer. An Architectural Framework for Providing Reliability and Security Support. In Proceedings of International Conference on Dependable Systems and Networks. June. 2004.
22. D. Neal. Online Blackmail Grows. In IT Week, 08, Mar 2005.
23. J. S. Plank, M. Beck, G. Kingsley, and K. Li. Libckpt: Transparent Checkpointing under Unix. Technical report, 1994.
24. M. Prvulovic, Z. Zhang, and J. Torrellas. ReVive: Cost-effective Architectural Support for Rollback Recovery in Shared-memory Multiprocessors. In Proceedings of the 29th Annual International Symposium on Computer Architecture, 2002.
25. J. Ray, J. C. Hoe, and B. Falsafl. Dual Use of Superscalar Datapath for Transient-fault Detection and Recovery. In Proceedings of the 34th International Symposium on Microarchitecture, 2001.
26. Scut. Exploiting Format String Vulnerabilities. http://www.team-teso.net/ articles/formatstring/, 2001.
27. S. Sidiroglou, M. E. Locasto, S. W. Boyd, and A. D. Keromytis. Building a Reactive Immune System for Software Services. In Proceedings of the USENIX Annual Technical Conference, pages 149-161, April 2005.
28. A. Smirnov and T. Chiueh. DIRA: Automatic Detection, Identification, and Repair of Control-Hijacking Attack. In The 12th Annual Network and Distributed System Security Symposium, 2005.
29. D. J. Sorin, M. M. K. Martin, M. D. Hill, and D. A. Wood. Safety Net: Improving the Availability of Shared Memory Multiprocessors With Global Checkpoint/recovery. Proceedings of the &9th Annual International Symposium on Computer Architecture, 2002.
30. M. E. Staknis. Sheaved Memory: Architectural Support for State Saving and Restoration in Pages Systems. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating System, 1989.
31. G. E. Suh, J. Lee, and S. Devadas. Secure Program Execution via Dynamic Information Flow Tracking. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, 2004.
32. S. Vlaovic and E. S. Davidson. TAXI: Trace Analysis for X86 Interpretation. In Proceedings of the 2003 IEEE International Conference on Computer Design, 2002.
33. K. L. Wu, W. K. Fuchs, and J.H. Patel. Error Recovery in Shared Memory Multiprocessors Using Private Caches. IEEE Transactions on Parallel and Distributed Systems, 1(2), 1990.