Compiler-Directed Region-Based Security for Low-Overhead Software Protection
暂无分享,去创建一个
[1] Mikhail J. Atallah,et al. Protecting Software Code by Guards , 2001, Digital Rights Management Workshop.
[2] Alok N. Choudhary,et al. CODESSEAL: Compiler/FPGA Approach to Secure Applications , 2005, ISI.
[3] Dawson R. Engler,et al. Checking system rules using system-specific, programmer-written compiler extensions , 2000, OSDI.
[4] Christian S. Collberg,et al. A Taxonomy of Obfuscating Transformations , 1997 .
[5] Alok N. Choudhary,et al. Performance Study of a Compiler/Hardware Approach to Embedded Systems Security , 2005, ISI.
[6] Gary McGraw,et al. ITS4: a static vulnerability scanner for C and C++ code , 2000, Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00).
[7] David A. Wagner,et al. MOPS: an infrastructure for examining security properties of software , 2002, CCS '02.
[8] CRISPIN COWAN,et al. Software Security for Open-Source Systems , 2003, IEEE Secur. Priv..
[9] Dan Boneh,et al. Architectural support for copy and tamper resistant software , 2000, SIGP.
[10] David A. Wagner,et al. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities , 2000, NDSS.
[11] Jeffrey S. Foster,et al. Type qualifiers: lightweight specifications to improve software quality , 2002 .