• Dfi:一个面向大规模代码库的过程间价值流分析框架

    解决痛点 由于内存和运行时需求较高,目前的价值流计算方法无法扩展到大型代码库。 价值流分析 价值流分析是数据流分析的一个子集,它有助于静态地分析变量和内存块等程序结构之间的依赖关系。它支持许多关键的程序分析技术,这些技术被广泛用于编译器优化和寻找安全漏洞:...

    2023-05-26 发布 0 条评论
  • TRUSTFLOW:降低DFI内存开销的硬件DFI机制

    一句话概述 设计了低开销细粒度的DFI硬件机制,对软件开销影响度为0% 主要功能 一个旁路的硬件设备,备份内存中的敏感数据,可以跟踪数据流完整性、检测内存漏洞、记录异常,敏感数据被篡改时还原数据。 主要贡献 提出TRUSTFLOW:一个具备针对数据细粒度...

    2023-05-26 发布 0 条评论
  • 自动查找免费文献源+文献分类+文献笔记一站式服务(ZOTERO)

    自动查找免费文献源+文献分类+文献笔记一站式服务(ZOTERO)检索文献后点击“GET PDF”时,需要登陆或者直接要钱;一堆堆的文献没有良好的分类导致想要寻找一篇原来找过的文章变得非常困难;记好了笔记,结果因为没有和文献放在一起并形成关联,久而久之就遗忘...

    2022-08-28 发布 0 条评论
  • 超链接网络:去中心化的可信计算和网络范例

    ``` <pre class="prism-highlight prism-language-markdown"><!-- * @Author: Broin * @Date: 2021-10-28 09...

    2022-05-31 发布 0 条评论
1