PPE Circuits: Formal Definition to Software Automation
PPE Circuits: Formal Definition to Software Automation
复制标题
PPE 电路：软件自动化的正式定义
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
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