CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
该论文聚焦于以存储为中心的计算（storage-centric computing）场景下固态硬盘（SSD）固件——闪存转换层（FTL）——的安全与正确性问题。研究背景是：数据密集型应用需要把大量数据从存储搬运到计算单元，产生显著的数据移动
#rocq
共收录 1 条相关情报。
← 返回所有主题