yangm17

摘要： 自用LaTex beamer模板 阅读全文

摘要： 详细介绍OT extension的重要文章: Extending Oblivious Transfers Efficiently. 作者是Yuval Ishai, Joe Kilian, Kobbi Nissim, and Erez Petrank, 发表在2003的Crypto上. 阅读全文

摘要： 这篇文章我们介绍RSA的单向性, 置换型等等. 我们给出formal的RSA假设: RSA假设. 给定一个三元组 \((N, e, y)\), 其中 \(N\) 是大素数 \(p, q\) 的乘积, \(gcd(e, \Phi(N)) = 1\), \(y \in \mathbb Z_n^*\), 阅读全文

摘要： 介绍半诚实敌手模型下的OT. 给出陷门OWP假设下的OT, 并给出证明. 阅读全文

摘要： 介绍半诚实模型下的MPC安全定义 阅读全文

摘要： 密码学中很多证明需要用到Simulation, 尤其是ZK, MPC等等. 对于初学者来说, 涉及Simulation的证明往往不容易理解, 更别说自己独立证明, 所以有必要学习一下如何写这样的证明. 文章主要参考Yehuda Lindell的讲义: How to simulate it. 阅读全文