归档
共计 23 篇日志
2025
06-20
SoK：数据主权
05-24
zkCross：一种新颖的跨链隐私保护审计架构
04-21
使用我的函数就应遵循我的检查：理解并检测智能合约中的不安全 OpenZeppelin 代码
03-30
你所有的代币都属于我们：揭秘Solidity智能合约中的地址验证漏洞
2024
11-01
MEV进阶学习
10-30
DefectChecker：基于EVM字节码分析的智能合约缺陷检测自动化
10-20
MEV和套利
10-07
SmartAxe：基于细粒度静态分析检测桥接智能合约中的跨链漏洞
09-04
SmartState：通过细粒度状态依赖分析检测智能合约中的状态回退漏洞
08-10
12 完全性与近似完全性
08-09
11 CFL 可达与 IFDS
08-07
10 基于 Datalog 的程序分析
08-06
9 静态分析与安全
08-05
8 指针分析-上下文敏感
08-04
7 指针分析-基础
08-03
6 指针分析-引入
08-02
5 过程间分析
08-01
4 数据流分析-基础
07-31
3 数据流分析-应用
07-30
2 程序的中间表示
07-29
1 静态分析概述
07-28
重新建站说明
1970
01-01
交大胖本地latex安装教学