「Paper Reading」：未整理版论文笔记
最近读了几篇论文
以下是未整理版论文笔记：
「Tools-VSCode」:Remote SSH-跳板机设置
VSCode就是最棒的IDE！
最近遇到一个Remote SSH的问题：想要连接校内的服务器，必须经过两个跳板机。
即需要三次ssh，才能连接到目标服务器D：A➡️B➡️C➡️D
- Terminal：如何无痛免密登录校内服务器 （需要输入三次ssh命令）
- VSCode：如何无痛用VSCode连接远程服务器以进行开发（一键式）
「Cryptography-Boneh」:Block Cipher 2
作为BlockCipher的第二篇文章。
第一部分介绍了块密码中的抽象概念PRF和PRP的安全定义。
第二部分介绍了两个概念，一个是抵抗one-time key的语义安全，另一个是抵抗many-time key(CPA)的语义安全。
在one-time key中，每条消息都使用新的密钥，类似于流密码中的OTP。介绍了不能抵抗CPA的ECB模式，还阐述了能抵抗CPA的det. CTR模式。
在many-time key中，同一条密钥可以用于加密多条消息，攻击者可以轻易具备CPA能力，文中说明了如果确定性的加密算法，则不能抵抗CPA，而random IV或者unique nonce的方式则可以抵抗CPA。
「Cryptography-Boneh」:Block Cipher 1
这篇文章介绍了块密码。
文中主要分为四个部分。
第一个部分解释了块密码的基础概念，包括抽象概念PRF（伪随机函数）和PRP（伪随机置换）的定义及其安全定义。
第二个部分介绍了经典块密码DES，包括DES的Feistel网络，支撑Feistel网络的Luby-Rackoff定理，triple-DES和对DES的一些攻击方法。特别是有效的中间相遇攻击。
第三个部分介绍了目前流行的块密码AES，包括AES的结构和一些攻击方法等。
最后一小部分介绍了用PRG构造PRF，再利用Feistel网络变成块密码。
「MPC-Mike Rosulek 」：Oblivious Transfer and Extension
本系列是总结Mike Rosulek教授在上海期智研究院的密码学学术讲座。
这是Mike教授的第三个分享：Oblivious Transfer and Extension
Roadmap
- Precomputation: can compute OTs even before you know your input!
- OT extension: 128 OTs suffice for everything.
OT在多方安全计算中扮演着重要的角色，但OT的实际开销往往很大，因为他不可能使用廉价的加密方法来实现[ImpagliazzoRudich89]。因此在这篇文章中，会介绍一些前沿的方法来提高OT的效率：离线预计算和OT扩展。
「MPC-Mike Rosulek 」：Advanced Techniques and Optimizations for Garbled Circuits
本系列是总结Mike Rosulek教授在上海期智研究院的密码学学术讲座。
这是Mike教授的第二个分享：Advanced Techniques and Optimizations for Garbled Circuits
Roadmap
- Optimizations: How did garbled boolean circuits get so small?
- New frontiers: How to garble arithmetic circuits?
在这篇文章中，会介绍在garble boolean circuits时的优化技术：包括point-and-permute, row-reduction, free-XOR和half gates。此外，这篇文章还会介绍如何garble arithmetic circuits。
「MPC-Mike Rosulek 」：Overview of Secure Computation and Yao's Protocol
本系列是总结Mike Rosulek教授在上海期智研究院的密码学学术讲座。
这是Mike教授的第一个分享：Overview of Secure Computation and Yao’s Protocol
Roadmap
- Secure computation: Concepts & definitions
- Yao’s protocol: semi-honest secure computation for boolean circuits
主要内容包括安全多方计算的整体介绍及其应用场景、如何定义安全多方计算的security、Yao的混淆电路协议 (garbled circuits protocol)。
（咕咕咕博客选手回来了，学长说：与其担心有没有学读，不如多学学密码学，泪目，我觉得他说的对！）
「Paper Reading」：AFL++：Combine Incremental Steps of Fuzzing Research
今天给大家分享的论文是一篇基于AFL的工作：AFL++：Combine Incremental Steps of Fuzzing Research，发表在USENIX Workshop。分享时的slides
「PyTorch」：4-Neural Network Design
PyTorch框架学习。
这篇文章主要介绍如何用PyTorch设计实现一个NN。
colab笔记：
Neural Network Design 1: The Layers
Neural Network Design 2: Callable Neural Networks
