世界很暗，但是你来了
  文章标签
算法 32 数据结构 9 Linux系统 2 理论知识 8 数学知识 1 程序设计 30 JavaSE 2 数据库 3 Python 5 数据处理 3 信息安全 14 网络安全 6 计算机网络 1 软件安全 2 论文阅读 5 密码学 1 Web技术 5
符号执行综述 符号执行综述
2024-08-14 信息安全专业课程
SymQEMU_Compilation-based symbolic execution for binaries SymQEMU_Compilation-based symbolic execution for binaries
2023-11-18 论文阅读
Symbolic execution with SYMCC_Don’t interpret, compile! Symbolic execution with SYMCC_Don’t interpret, compile!
2023-11-05 论文阅读
HARDLOG_Practical Tamper-Proof System Auditing Using a Novel Audit Device HARDLOG_Practical Tamper-Proof System Auditing Using a Novel Audit Device
2023-11-05 论文阅读
ConTExT_A Generic Approach for Mitigating Spectre ConTExT_A Generic Approach for Mitigating Spectre
2023-10-24 论文阅读