吉尔·巴特;塞德里克·Fornet;本杰明·格雷戈里;Pierre-Yves支柱;尼基尔·斯瓦米;圣地亚哥Zanella-Béguelin 加密实现的概率关系验证。 (英语) Zbl 1284.68380号 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。193-205 (2014). 引用于12文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 03B70号 计算机科学中的逻辑 68甲18 函数编程和lambda演算 68吨15 定理证明(演绎、解析等)(MSC2010) 94A60型 密码学 关键词:概率规划;程序逻辑 软件:EasyCrypt公司;伊诺特;Coq公司;z3(零3) PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。193-205(2014;Zbl 1284.68380) 全文: 内政部