硬件功能增强RISC指令(谢利)验证,与更好的内存安全(牛津)


技术论文题为“正式CHERI-C语义验证”是牛津大学的研究人员发表的。文摘:“CHERI-C C编程语言进行扩展,添加硬件功能,确保一定程度的剩余内存安全而有效。功能也可以用于更高级别的安全措施,如软件划分,…»阅读更多

Baidu