...
机译:验证计算而不重新执行计算
New York University, New York City;
University of Texas at Austin;
机译:验证计算而无需重新执行它们:从理论可能性到接近实际
机译:验证作为服务(VAAS):在低计算开销时计量,计费验证和消费资源的消耗资源的可信多功能服务,以增强云可用性
机译:带有验证外包的计算委派:好奇的验证者
机译:安全系统的可扩展参数验证:如何在不担心数据结构大小的情况下验证参考监视器
机译:迈向实用的可验证计算:验证外包,没有线性测试的线性参数以及重复的结构。
机译:TLR4靶向抗体的计算驱动的表位验证和亲和力成熟
机译:迈向实用的可验证计算:验证外包,没有线性测试的线性参数和重复的结构