CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
该论文聚焦于以存储为中心的计算（storage-centric computing）场景下固态硬盘（SSD）固件——闪存转换层（FTL）——的安全与正确性问题。研究背景是：数据密集型应用需要把大量数据从存储搬运到计算单元，产生显著的数据移动
#flash-translation-layer
共收录 2 条相关情报。
← 返回所有主题SxSSD: A Secure and Extensible Software-defined Solid State Drive
本文提出了一种名为 SxSSD 的安全且可扩展的软件定义固态硬盘（SSD）设计。传统 SSD 基于 NAND 闪存，通过块存储接口向操作系统暴露存储功能，但由于 NAND 闪存存在硬件层面的读写约束，需要闪存转换层（FTL）在操作系统 I/