CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
该论文聚焦于以存储为中心的计算（storage-centric computing）场景下固态硬盘（SSD）固件——闪存转换层（FTL）——的安全与正确性问题。研究背景是：数据密集型应用需要把大量数据从存储搬运到计算单元，产生显著的数据移动
#isolation
共收录 4 条相关情报。
← 返回所有主题A Hardware-Software Co-design for Efficient Intra-Enclave Isolation.
该论文提出了一种硬件-软件协同设计方法，旨在解决可信执行环境（如Intel SGX）中飞地内部隔离效率低下的问题。现有飞地设计通常将整个应用放在同一个安全边界内，缺乏内部隔离机制，导致一旦飞地内某个组件被攻破，整个飞地数据都会泄露。作者设计
Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software.
本论文针对分拆化（compartmentalized）软件中的接口漏洞影响进行了系统评估。分拆化软件通过将程序划分为多个隔离的组件（如利用进程级隔离、沙箱或微内核架构）来增强安全性，但组件间的接口（如系统调用、RPC、共享内存）可能引入新的
Losing the Beat: Understanding and Mitigating Desynchronization Risks in Container Isolation.
本文研究了容器隔离中的去同步风险（Desynchronization Risks），即容器运行环境与宿主机之间在时间、状态或资源视图上出现不一致，可能导致安全隔离失效或性能降级。作者首先系统分析了容器运行时（如runc、crun）与宿主机内