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

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