围炉网

一行代码,一篇日志,一个梦想,一个世界

SMC 多方安全计算学习纪要

  • 隐蔽(covert)敌手模型:允许敌手通过攻击获得额外信息,但是要求敌手的这种攻击行为能被高概率的检测出来

  • 相关开源项目

  • 现有参与者

    • 矩阵元 

      • JUGO集成最新的加密电路(Garbled Circuit)和不经意传输(Oblivious Transfer)算法,以实现通用的两方计算。

      • JUGO集成由矩阵元自主研发的电路编译器,用户和开发者可使用类C的高级语言Frutta进行开发,编译器将其自动转化为布尔电路,以适用于底层算法。

    • 众安科技 

    • Intel SGX

      • http://jos.org.cn/html/2018/1/5434.htm

      • Haven系统原型通过在飞地(enclave)中利用Intel SGX芯片和Linux LibOS实现屏蔽模块(shield module), 提供包括线程、虚存、调度与文件系统的抽象, 提供了无需进行修改的应用程序与Windows操作系统间的相互调用[64].

      • VC3是由微软研究院研发的另一个原型系统, 用以在Hadoop平台上运行MapReduce程序, 确保数据与处理是可信的[65].与Haven不同, VC3并不在SGX中加载操作系统库, 而只在其中加载Map/Reduce程序与处理的数据.程序与数据仅在处理器上运行时是解密的.

      • Haven和VC3都可以运行未经修改的代码, 并处理数据.针对机器学习问题, 如决策树、SVM、神经元网络、矩阵分解、K-means聚类等算法, Ohrimenko等人提出了运行于SGX的保护隐私的机器学习方法, 他们通过使用实现了oblivious原语的libO库, 重写机器学习算法, 达到了可验证的安全机器学习的目的[66].

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注

沪ICP备15009335号-2