×
吉尔·巴特;塞德里克·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公司;Ynot公司;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）
全文： 内政部