Security 2021

鉴于太久没有工作，这两天USENIX又出了结果。想开一个大坑，督促自己努力学习，不要过于有悠闲以至于颓废了意志。

从S&P 2021和USENIX 2021起，每天坚持读两篇自己感兴趣的文章，记下点东西。

S&P 2021

• “Many-out-of-Many” Proofs and Applications to Anonymous Zether

  这篇文章是关于加密货币的，略过。

• A Decentralized and Encrypted National Gun Registry

  这篇文章讲述一个枪支注册系统的构建，分布式本地化端到端。

• A First Look at Zoombombing

  关于Zoombombing，即非法加入会议。根据Abstract，他们最后提出的解决方案是给每个参会者一个独特的链接。

• A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces

  关于code instrumentation的改良方案。软件安全，恶意检测之类的。

• A Secure and Formally Verified Linux KVM Hypervisor

  虚拟化相关，对hypervisor安全性的提升。

• A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

  这篇文章可以读一下，讲对QUIC的安全评估，和前阵子看的网安课比较相关。

看着看着，就又有去听课的动力了，需要一些密码学的基本知识来辅助构建对paper的背景理解，以及知识快速定位。