原名:Crafting Certified Elliptic Curve Cryptography Implementations in Coq
作品简介:尼克和尤西·鲁宾。 “网站-。网络运营商有针对性地注入虚假内容”。见：CoRR abs/1602.07128 (2016)。网址：http://arxiv.org/。理论、工具和实验：第八届国际会议，VSTTE 2016，。加拿大安大略省多伦多，7 月 17 日至 18 日。 2016年，修订论文选集。……
资源下载
包年VIP免费升级包年VIP
