操作系统理论
Chapter 1.操作系统概述1.1 操作系统的类型1.1.1 基本类型 (单道/多道)批处理系统 批处理(batch pr
阅读更多
符号执行综述
1 绪论程序+安全属性 提供普适框架（简单语言） 求解算法
执行由符号执行引擎执行，它为每个探索的控制流路径维护：
(i)一个一阶布尔公式，描述沿该路径采取的分支所满足的条件；
(ii)一个将变量映射到符号表达式或值的符号存储器。分支执行
2024-08-14
SymQEMU_Compilation-based symbolic execution for binaries
https://www.anquanke.com/post/id/231413#h3-6
Introduction符号执行被认为是一种高效但昂贵的探索程序的技术。它通常与模糊测试(所谓的混合模糊测试)相结合，其中 fuzzer 利用启发式来
2023-11-18
关于链表的若干问题
节选自：https://leetcode.cn/studyplan/top-100-liked/
链表反转初始化 pre、cur 分别指向 null 和头节点。
class Solution {
public ListN
2023-11-13
HARDLOG_Practical Tamper-Proof System Auditing Using a Novel Audit Device
源码：https://github.com/microsoft/HardLog
Introduction背景有效的系统审计的持久障碍是日志篡改（log tampering）。
①原则上，审计系统可以通过立即将每个日志条目存储在安全的位置。但
2023-11-05
Symbolic execution with SYMCC_Don’t interpret, compile!
源码：http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
总结：https://zhuanlan.zhihu.com/p/599054963
Introduction符号
2023-11-05
八股文整理
Here's something encrypted, password is required to continue reading.
2023-10-27
LeetCode刷题记录
双指针盛最多水的容器给定一个长度为 n 的整数数组 height 。有 n 条垂线，第 i 条线的两个端点是 (i, 0) 和 (i, height[i]) 。
找出其中的两条线，使得它们与 x 轴共同构成的容器可以容纳最多的水。
返回容器
2023-10-25
ConTExT_A Generic Approach for Mitigating Spectre
讲解：https://www.youtube.com/watch?v=lVeK1C_AHhc
源码：https://github.com/IAIK/contextlight
IntroductionSpectre attack 的攻击方式有
2023-10-24
密钥分配与用户认证
网络安全是指保护计算机网络不受未经授权的访问、破坏、修改或泄露的一系列技术和措施。网络安全可以分为三个方面：网络设备安全、网络软件安全和网络信息安全。
1.基于对称加密的密钥分配基于密钥分发中心的会话密钥分发机制如下：
密钥分发技术：传
2023-04-29
密码学概述与现代密码算法
Chapter1 密码学概述1.1 安全服务
保密性服务：加密
认证鉴别服务：密钥，数字签名
访问控制服务：密钥，权限管理
完整性服务：加密，数字摘要
抗否认性服务：数字签名
1.2 基本攻击类型
唯密文攻击
已知明文攻击：攻击者知道一些
2023-04-29
嵌入式系统课程作业
第一次作业
列举目前市面上常用的嵌入式操作系统名字（越多越好）
Android、uClinux、WinCE、PalmOS、Symbian、eCos、uCOS-II、VxWorks、pSOS、Nucleus、ThreadX 、Rtems 、
2023-04-24
算法分析与设计2：贪心、动规、分支限界、NP完备性理论
一、贪心自顶向下解决问题，使问题规模减小。
1.1 埃及分数$7/8=1/2+1/3+1/24$
对于分数 $A/B$ ( $A<B$ )，$B=A*C+D$，则
2023-01-23