PPE Circuits: Formal Definition to Software Automation

PPE Circuits: Formal Definition to Software Automation
复制标题

PPE 电路:软件自动化的正式定义

DOI:
--
复制
发表时间:
2020
期刊:
ACM CCS
影响因子:
--
通讯作者:
Waters, Brent
Waters, Brent
中科院分区:
--
文献类型:
--
作者:
Hohenberger, Susan;Vusirikala, Satyanarayana;Waters, Brent

文献摘要

参考文献

相似文献

使用 SMT 求解器自动执行加密和签名方案的设计任务
DOI: 10.1145/2508859.2516718
发表时间: 2013
期刊: Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
影响因子: --
作者:
Joseph A. Akinyele;M. Green;S. Hohenberger
通讯作者: S. Hohenberger
这些配对元素正确吗?:自动验证和应用
DOI: --
发表时间: 2019
期刊: Conference on Computer and Communications Security
影响因子: --
作者:
S. Hohenberger;Satyanarayana Vusirikala
通讯作者: Satyanarayana Vusirikala
DOI: --
发表时间: 2016
期刊: International Conference on the Theory and Application of Cryptographic Techniques
影响因子: --
作者:
Miguel Ambrona;G. Barthe;Benedikt Schmidt
通讯作者: Benedikt Schmidt
DOI: 10.1145/3243734.3243825
发表时间: 2018-10
期刊: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
影响因子: --
作者:
G. Barthe;Xiong Fan;Joshua Gancher;B. Grégoire;Charlie Jacomme;E. Shi
通讯作者: G. Barthe;Xiong Fan;Joshua Gancher;B. Grégoire;Charlie Jacomme;E. Shi
密码标准的机器检查证明:海绵的不可区分性和 SHA-3 的安全高保证实现
DOI: --
发表时间: 2019
期刊: IACR Cryptology ePrint Archive
影响因子: --
作者:
J. Almeida;Cécile Baritel;M. Barbosa;G. Barthe;François Dupressoir;B. Grégoire;Vincent Laporte;Tiago Oliveira;Alley Stoughton;Pierre
通讯作者: Pierre