-
罗望子
- 在14篇文章中引用[sw23438]
- 以指定协议的表达语言为特色,对手 模型,和属性,以及对有效演绎的支持。。。
-
护城河
- 1条引用【sw23080】
- SGX的相关方面,开发几个对手 模型提出了一种合理的验证方法(基于。。。使它向对手. 我们介绍护城河,一个正式的工具。。。
-
普罗夫里夫
- 引用41篇文章[sw06558号]
- 正式的模型(所谓的多列夫·姚)模型). 这个协议验证器是基于一个表示。。。证明以下性质:保密性对手无法获取密码,CSFW'01),身份验证。。。
-
傻瓜箱
- 引用2篇文章[sw20935]
- 模型. 即使是今天最先进的机器学习模型很容易被几乎察觉不到的干扰所愚弄。。。这样的敌对的扰动和机器学习鲁棒性的量化和比较模型... 制造一个敌对的例子。为此,Foolbox提供了参考实现。。。
-
梯度凸轮
- 引用3篇文章[sw35098]
- 模型,我们的可视化(a)可以深入了解它们的失效模式,(b)对敌对的... 更忠实于潜在的模型以及(e)通过识别数据集偏差来帮助实现泛化。。。
-
MidiNet网络
- 引用2篇文章[sw36061]
- 生成的敌对的用于符号域音乐生成的网络。现有的神经网络模型为了音乐。。。循环神经网络。然而,最近的WaveNet模型DeepMind提出的卷积神经网络。。。旋律的分布,使之产生敌对的网络(GAN)。此外,我们建议一部小说。。。利用现有的先验知识,以便模型可以从零开始产生旋律。。。
-
SecML公司
- 1条引用[sw31336]
- 只生成测试时间规避攻击敌对的深神经网络的例子,但也。。。白盒和黑盒都是威胁模型. 为此,secml提供了内置的。。。分类性能迅速下降而不是增加敌对的输入数据的扰动。secml还包括。。。帮助理解原因敌对的攻击成功模型通过想象最有影响力的。。。
-
GAN实验室
- 引用2篇文章[sw27149]
- 学习,大多数现有的工具都集中在更简单的模型. 在这部作品中,我们呈现。。。具有生成性敌对的网络(GANs),一个流行的复杂深度学习课程模型. 带着。。。
-
威利野生
- 1条引用[sw33962]
- 哪个,里德模型耦合成特征距离敌对的网络(FDANet。。。新颖的特征距离对手该方案可以在线生成特征中的硬阴性样本。。。方便里德的空间模型培训。综合结果表明了该方法的有效性。。。
-
萨尔甘
- 1条引用[sw28155]
- 具有敌对的例子。网络的第一级由一个发电机组成模型谁的。。。地面真相。我们的实验表明敌对的训练可以达到状态。。。用源代码复制并训练模型此https提供。。。
-
开始
- 引用3篇文章[sw31829]
- 基于生成式自动编码器的训练距离敌对的网络。发电机平衡这个方法。。。同时使用相对简单的模型架构和标准训练程序。。。
-
隐私权
- 1条引用[sw32540]
- 学习即服务(MLaaS)运营商提供模型云上的训练和预测。MLaaS。。。重建的敌对的简洁地表示他们的训练数据的网络。作为发送模型参数。。。
-
莫尔根
- 引用2篇文章[sw36059]
- 介绍MolGAN,一个隐式的,无似然生成的模型对于规避。。。基于似然的方法。我们的方法适用于生成敌对的网络(GAN)直接在图上操作。。。化学数据库,我们证明模型能够产生接近100%的有效性。。。
-
密克罗夫里夫
- 引用2篇文章[sw09907]
- 安全协议在计算上证明是安全的模型,我们以前实现了一个编译器。。。CryptoVerif证明的安全属性:如果对手有可能破坏安全。。。生成代码,则存在一个对手以同样的概率破坏属性。。。在计算中证明了规范的安全性模型通过CryptoVerif,然后生成的实现。。。