吉尔·巴特；古斯塔沃·贝塔特；胡安·迭戈·坎波；卡洛斯·卢纳；大卫·皮哈迪 恒定时间加密的系统级不干涉。二： 已验证静态分析和隐形内存。 （英语） Zbl 1459.68027号 J.汽车。推理 64，第8期，1685-1729（2020）.MSC公司：68平方米25 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，J.Autom。推理64，No.8，1685--1729（2020；Zbl 1459.68027） 全文： 内政部
刘俊毅；詹伯华；王淑玲；应胜刚；刘涛；李，杨佳；英明生；詹乃军 使用量子霍尔逻辑对量子算法进行形式验证。 （英语） Zbl 07805824号 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。11562, 187-207 (2019).MSC公司：60年第68季度 2012年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人，Lect。票据计算。科学。11562187-207（2019；Zbl 07805824） 全文： 内政部
安德烈亚斯·洛赫比勒 高阶逻辑中的概率函数和密码预言。 （英语） Zbl 1335.68033号 Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，503-531（2016）。MSC公司：68甲18 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler}，莱克特。票据计算。科学。9632503--531（2016；Zbl 1335.68033） 全文： 内政部
罗伯特·兰德；史蒂夫·兹丹塞维奇 VPHL：概率程序的验证部分正确性逻辑。 （英语） Zbl 1351.68080号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，351-367，仅电子版（2015）。MSC公司：68号30 03B70号 68甲19 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rand}和\textit{S.Zdancewic}，电子。注释Theor。计算。科学。319351-367（2015；Zbl 1351.68080） 全文： 内政部
吉尔·巴特；塞德里克·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).MSC公司：60年第68季度 03B70号 68甲18 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。193-205（2014；Zbl 1284.68380） 全文： 内政部