The Australian National University (Australia).;
机译:高效可验证的算法,可安全地进行密码计算外包
机译:验证相对可观察性和至上相对可观察子语言的计算的新算法
机译:患者剂量计算算法的3D制造与患者的幽灵和实验验证
机译:STV算法的验证计算验证者的模块化综合
机译:迈向实用的可验证计算:验证外包,没有线性测试的线性参数以及重复的结构。
机译:点剂量测量用于验证治疗计划系统的本地异形骨盆幻影用于Clarkson卷积叠加和快速叠加算法
机译:用于加密计算安全外包的高效可验证算法