机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:可证明正确的Spi Calculus安全协议规范的Java实现
机译:古典两方计算的量子协议完全不安全
机译:在半诚实发件人的存在下,在Java中实施的双方计算的正确性和安全性
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:量化保留rictration链接保留串比较器的正确性计算复杂性和安全性
机译:用半诚实的发件人证明在爪哇实施的两党计算的正确性和安全性⋆
机译:CompGC:高效的离线/在线半诚实双方计算(2017年2月)。