Augmenting branch predictor to secure program execution

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2007, Pages 10-19

  Shi, Yixin ^a   Lee, Gyungho ^a  

^a 1120 Science and Engineering Offices   (United States)

Author keywords

Bloom filter; Branch predictor; Control flow validation; Indirect branch; Software protection

Indexed keywords

BLOOM FILTER; BRANCH PREDICTOR; CONTROL FLOW VALIDATION; INDIRECT BRANCH; SOFTWARE PROTECTION;

COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; USER INTERFACES;

SECURITY SYSTEMS;

EID: 36049008184     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2007.19     Document Type: Conference Paper

References (29)

1. M. Abadi, M. Budiu, U. Erlingsson and J. Ligatti, "Control_flow Integrity", in ACM CSS05, Nov, 2005.
2. T. Austin and D. Burger, "The SimpleScalar Tool Set". Univ. of Wisconsin CS Dept. Technical Report, No. 1342, June 1997.
3. Bochs, "The Open Source IA-32 Emulation Project", http://bochs.sourceforge.net/
4. S. Bhatkar, A. Chaturvedi, and R. Sekar, "Dataflow Anomaly Detection", IEEE Symposium on Security & Privacy, May 2006
5. B. Bloom, "Space/Time Tradeoffs in Hash Coding with Allowable Errors", in Communications of the ACM 13:7, 1970
6. S. Wilton, N. Jouppi, "CACTI: An enhanced cache access and cycle time model", IEEE JSSC, Vol. 31(5) May, 1996.
7. CERT Security Advisories. http://www.cert.org/advisories/
8. S. Chen, J. Xu, Emre C. Sezer, P. Gauriar, and R. Iyer. "Non-Control-Data Attacks Are Realistic Threats", in Proceedings of USENIX Security Symposium, Aug. 2005.
9. S. Chen, J. Xu, N. Nakka, Z. Kalbarczyk, R. Iyer. "Defeating Memory Corruption Attacks via Pointer Taintedness Detection". In Proceedings of Inte'l Conf. on Dependable Systems and Networks (DSN), June, 2005.
10. th USENIX Security Symposium, Jan 1998.
11. J. Crandall and F. Chong, "Minos: Control Data Attack Prevention Orthogonal To Memory Model", Proc. of the 37th Int'l Symp. on Microarchitecture, Dec. 2004.
12. H. Feng, O. Kolesnikov, P. Fogla, W. Lee, W. Gong, "Anomaly Detection Using Call Stack Information", IEEE Symposium on Security and Privacy, May, 2003.
13. S. Forrest, S. Hofmeyr, A. Somayajo, T. Longstaff, "A Sense of Self for Unix Processes", IEEE Symp.on Security and Privacy, 1996.
14. M Frantzen and M. Shuey. "Stackghost: Hardware facilitated stack protection", In 10th USENIX Security Symposium, August 2001.
15. D. Gao, M. Reiter, D. Song, "Gray-Box Extraction of Execution Graphs for Anomaly Detection", in the ACM CCS conf, 2004.
16. V. Kiriansky, D Bruening, S. Amarasinghe, "Secure Execution via Program Shepherding", In Proc. of the 11th Usenix Security Symp, 2002.
17. G. Lee and A. Tyagi, "Encoded Program Counter: Self-Protection from Buffer Overflow Attacks", Proc. of the First Int'l Conference on Internet Computing, June, 2000.
18. Y. Park, Z. Zhang, G. Lee, "Microarchitectural Protection Against Buffer Overflow Attack", IEEE Micro, July, 2006.
19. M. Ramakrishna, E. Fu, E. Bahcekapili, "A performance study of hashing functions for hardware applications", In Proc. Of Int'l Conf. Computing and Information, 1994.
20. R. Sekar, M. Bendre, P. Bollineni, D. Dhurjati, "A fast Automaton-Based Method for Detecting Anomalous Program Behaviors", In Proc. of IEEE Symp. on Security & Privacy, 2001.
21. th ASPLOS, Oct. 2002.
22. Y. Shi, S. Dempsey, G. Lee, "Architectural Support for Run-Time Validation of Control Flow Transfer", In Proc. Of IEEE Int'l Conference on Computer Design (ICCD06), Oct. 2006.
23. G. Suh, J. Lee, S Devadas, D. Zhang, "Secure program execution via dynamic information flow tracking". In Proc. of the 12th Int'l Conf. on ASPLOS, 2004.
24. N. Tuck, B. Calder, G. Varghese, "Hardware and Binary Modification Support for Code Pointer Protection from Buffer Overflow", Proc. of Int'l Symp. on Microarchitecture, 2004.
25. D. Wagner, D. Dean, "intrusion detection via Static Analysis", in Proc. of the IEEE Symp.on Security and Privacy, 2001.
26. D. Wagner and P. Soto, "Mimicry Attack on Host-based Intrusion detection system", In ACM CSS 02, Nov. 2002.
27. J. Xu, Z. Kalbarczyk, R. Iyer. "Transparent runtime randomization for security", In Proc. Of the Symp. on Reliable and Distribution System, 2003.
28. T. Yeh and Y. Patt, "Alternative Implementations of Two-Level Adaptive Training Branch Prediction", in Proc. of the 19th ISCA, 1992.
29. T. Zhang, X. Zhuang, W. Lee, S. Pande, "Anomalous Path Detection with Hardware Support," in Proc. of CASES, 2005.