Program analysis 课程的笔记，第一部分，随上随写，可能里面有些概念我现在还解释不清楚，因为老师没也没讨论，也许后面会更新更清楚的版本。 Program Analysis 1 Introduction What is Program Analysis? A possible definition: A way to establish a particul...

新学期计划选 Formal Verification 试试看，课程用 Rust，所以提前学习一下，之后就被其神奇的特性吸引，记录一下 Rust String。 Rust String 由于有所有权和借用机制，所以对于我这种外来的开发者，似乎存在了4种字符串的定义方式，为了理解这些东西，首先从最基础的let s1 = String::from("hello"); 开始讨论。 String...

CCA 1 and CCA 2 CCA 安全是有两个的，即是 IND-CCA 1 和 IND-CCA 2，这两种 CCA 是有区别的。 CCA 安全 CCA的全称是Chosen-ciphertext attack，也就是选择密文攻击，对比CPA安全，CCA中的攻击者可以访问解密机，而选择明文CPA中吗，攻击者只有加密机的访问权限。我们需要用数学语言来描述CCA。 CCA 实验 ...

Collisions and Pollard’s rho 这里主要是介绍 Pollard’s rho 在哈希碰撞上的应用，还有弗洛伊德循环检测算法（Floyd’s Cycle-Finding Algorithm），也称为龟兔赛跑算法（Tortoise and Hare Algorithm）。值得吐槽的是 Antoine 这里就用了七八页，难道法国人都是这么上课的？ 1. Pollard’...

马上就要开始新学期了，本来计划假期写一下密码学课程学到的新东西，但是一直摸鱼到现在。 回想起来这密码学课，我跟导师说这密码学课太难了，导师还谐谑的说，Antoine 算是你同事啊，只能说我和Antoine合砍哥德尔奖了。得亏 Lucjan 好人期末考试难度不高。 Puncturable Pseudorandom Functions Puncturable Pseudorandom Fun...