【安全性归约/证明技术前沿讲座之三】Barak 非黑盒归约技术(1)

地点:雁栖湖校区,教1-223
主讲人:邓燚 研究员
联系人:高丽丽
联系方式:010-82546393
开始时间:2019-05-29 19:00:00
结束时间:2019-05-29 21:00:00
内容: