jjppp的博客

摘要： 这一章比较轻松，主要是科普一些东西，都是概念性的 One-way function 注意到密码学中的很多构造都是不对称的：我们希望加密是简单的而解密是困难的、我们希望PRG是很容易产生的但是很难被区分的……这些不对称性归根结底都可以通过OWF来导出，这个概念还是很抓住了关键的 但是到目前为止，是否存 阅读全文

摘要： Cryptographic Hash Function 所谓Hash，就是一个实现“压缩”比特序列的函数（有时也叫摘要）。与普通的散列和哈希不同，密码学上的hash要求要更严格一些： 要是抗碰撞(collision resistant)的 最好还有PRF的性质 类似PRF，Hash也是一个keyed 阅读全文

摘要： Message Authentication Code 简称MAC。通常我们不仅希望保证一条消息的内容没有被泄露（例如你向女神告白的信的内容），还希望我们发出去的消息没有被篡改过（例如你给女神的告白信不会被换成/修改成除了告白信之外的别的东西）。前者属于secrecy的范畴，后者则是integrit 阅读全文

摘要： 这次做起来还是很有收获的，虽然最后阶段基本在写库函数，和ICS已经没啥关系了 思考题 AM究竟给程序提供了多大的栈空间呢? 观察$AM_HOME/scripts/linker.ld这个链接脚本可以发现，其中定义了一个符号_stack_pointer 而根据AM启动客户程序的流程可知，在am/src/ 阅读全文

摘要： 完成了声卡的实现，可以流畅播放If I Could Tell Her~ 但是玩litenes就只有23帧，用fceux就卡得声音都变成了儿童鞋垫 收货 讲几个主要的 假设需要同时定义很多个东西，同时这些东西又有着相同的模式，并且我们希望能够方便地修改、添加这些东西（只需要维护一份唯一的列表），那么就 阅读全文

摘要： 写了很多代码，更宝贵的应该是这些思考和经验，所以就放上来了 必做题会被删去，和具体实验相关的内容也会被处理掉，应该看起来是不存在剧透的（大概） 收货 PA1主要是在做一些预备工作，例如阅读NEMU的主体框架，添加一些表达式求值、打断点之类的小功能，以及一些测试程序正确性的方法介绍 在提到表达式解析的 阅读全文

摘要： Formal Semantic 一般分三种 Operational Semantic，操作语义 Denotational Semantic，指称语义 Axiomatic Semantic，公理语义 主要记一下操作语义 Operational Semantic 对命令式语言而言，一个程序的运行状态可以 阅读全文

摘要： Pseudo Random Generator 真的随机性是要求很强的东西，上一章是对安全性的适当弱化，而这一章就是对随机性的适当弱化，使得我们可以得到一个“不那么随机但是可以当成随机数用的随机数” 也就是伪随机性 定义 这里的随机性指的是一个比特串的分布的随机性，通常用 \(\text{Dist} 阅读全文

摘要： Types 首先要说明什么是Type Types可以看成是对数据的分类、一种约定，即我们用一个界来描述一类数据构成的集合，用不同的界区分不同的数据种类。对于untyped的语言，我们则可以看成是只有唯一一种包罗万象的type 类型实际上有很多作用，可以进行针对性的优化、可以提供部分代码的信息、可以作 阅读全文

摘要： Background 前面提到的perfect secrecy虽然好，但有着理论上的局限：key太长、key太多等等，用起来不是那么方便 一个idea就是，我们放弃部分安全性来换取更实用的密码。这里要回答几个问题：放弃哪些？放弃多少？放弃之后的安全性如何衡量？ 注意，接下来的讨论如无特殊说明，都以e 阅读全文