Cornucopia: Temporal Safety for CHERI Heaps

机译：聚宝盆：CHERI堆的时间安全

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Use-after-free violations of temporal memory safety continue to plague software systems, underpinning many high-impact exploits. The CHERI capability system shows great promise in achieving C and C++ language spatial memory safety, preventing out-of-bound

机译：事后使用对时间内存安全的侵犯继续困扰着软件系统，从而支撑了许多具有高影响力的漏洞利用。 CHERI功能系统在实现C和C ++语言空间内存安全性，防止越界方面显示出巨大的希望

著录项

来源
《IEEE Symposium on Security and Privacy》|2020年|608-625|共18页
会议地点
作者
Nathaniel Wesley Filardo; Brett F. Gutstein; Jonathan Woodruff; Sam Ainsworth; Lucian Paul-Trifu; Brooks Davis; Hongyan Xia; Edward Tomasz Napierala; Alexander Richardson; John Baldwin; David Chisnall; Jessica Clarke; Khilan Gudka; Alexandre Joannou; A. Theodore Market;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Integrated circuits; RNA; Security; Privacy; Licenses;

机译：集成电路; RNA;安全性;隐私权;许可证;

相似文献

外文文献
中文文献
专利

1. Establishing local temporal heap safety properties with applications to compile-time memory management [J] . Ran Shaham, Eran Yahav, Elliot K. Kolodner, Science of Computer Programming . 2005,第1a2期

机译：通过应用程序建立本地临时堆安全性，以进行编译时内存管理
2. Heaps' law, statistics of shared components, and temporal patterns from a sample-space-reducing process [J] . Andrea Mazzolini, Alberto Colliva, Michele Caselle, Physical review, E . 2018,第5aPta1期

机译：堆积的法律，共享组件的统计，以及采样空间减少过程的时间模式
3. Verifying Temporal Heap Properties Specified via Evolution Logic [J] . E. Yahav Logic Journal of IGPL . 2006,第5期

机译：验证通过Evolution Logic指定的临时堆属性
4. Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis [C] . Hua Yan, Shiping Chen, Yulei Sui, International symposium on static analysis . 2019

机译：通过自适应上下文敏感分析对时间堆安全进行逐引用验证
5. Improving the security of the heap through inter-process protection and intra-process temporal protection. [D] . Kharbutli, Mazen Mahmoud. 2005

机译：通过进程间保护和进程内临时保护提高堆的安全性。
6. Spatial-Temporal Features Based Sensor Network Partition in Dam Safety Monitoring System [O] . Hao Chen, Yingchi Mao, Longbao Wang, 2020

机译：大坝安全监测系统中基于时空特征的传感器网络划分
7. Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management [O] . Ran Shaham A, Eran Yahav B, Elliot K. Kolodner A, 2008

机译：通过编译时内存管理的应用程序建立本地临时堆安全性属性

Cornucopia: Temporal Safety for CHERI Heaps

摘要

著录项

相似文献

相关主题

期刊订阅