实验室博士生陈刚的论文“SafeStack: Automatically Patching Stack-based Buffer Overflow Vulnerabilities”被IEEE Transactions on Dependable and Secure Computing（IEEE TDSC）期刊收录为Regular论文。
论文主要研究了软件栈溢出漏洞的防范问题。论文首次提出了访存虚拟化技术，可以将栈数据在保护的内存区域中重新分配并重定向访问。以该技术为基础，论文提出了一种被动式的软件栈缓冲区溢出故障容忍系统——SafeStack。该系统能够精确诊断出引发栈溢出故障的“危险”栈缓冲区，并自动生成补丁进行修复。修复方法是借助访存虚拟化技术将危险栈缓冲区动态地重新分配到堆空间中，而后采用保护堆对象的方法对栈缓冲区进行保护，从而可以容忍随后由该漏洞所引发的栈溢出故障，提高软件的安全性和可靠性。
IEEE Transactions on Dependable and Secure Computing是计算机及网络安全、可信计算等研究领域中顶级刊物，主要关注计算机及网络安全、可靠性领域最新的研究进展和技术。该期刊每年出版6期，共收录不到100篇文章。
通讯员: 吴未
