V
主页
京东 11.11 红包
人工智能安全的相关近期研究--南京大学仲盛教授
发布人
人工智能安全的相关近期研究--南京大学仲盛教授
打开封面
下载高清视频
观看高清视频
视频下载器
区块链:零信任之上的共识(山东大学成秀珍教授)
区块链安全与应用技术的研究进展--张小松
自动驾驶系统中深度学习模型的研究现状,安全挑战与发展趋势
2022.7.23 人工智能安全可信理论与验证平台
编译原理课程Flex+Bison使用讲解
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
《信息安全学报》线上学术沙龙(第七期)——“人工智能安全”学术报告会
2022.10-可信软件漫谈:软件可信吗?(南京大学李宣东教授)
数据驱动的编译器测试-北大郝丹教授
2022年3月人工智能论坛机器之心AI科技年会(上午)
一种基于GAN的跨项目软件缺陷预测方法
2021年11月施巍松教授边缘计算背景应用和挑战讲座
2022年3月人工智能论坛机器之心AI科技年会(下午前两个)
CNCC2021《区块链可靠性技术研究》
碳达峰碳中和-人工智能发展的必由之路
航天嵌入式软件可信研究进展与展望--杨孟飞院士
2022年4月28日学术研究方法浅谈--北航马帅
神经网络鲁棒性验证中的近似技术-华东师大张民教授
芯片形式验证技术及应用--华为
ISSRE 2021 最佳研究论文候选
SETTA 2021 香港科技大学的Charles Zhang教授静态程序分析
软件漏洞自动利用研究的价值与挑战
AMiner-谷歌学术-Semantic Scholar-百度学术-知网使用方法分享
ISSRE 2021主旨演讲Program Analysis中国科学院大学张健教授
工业物联网安全可信智能感知与计算
Some Progressed of SAT-SMT Solving,互补近似可达技术及其应用研究
人工智能产业化的困境与机遇从深度学习的能力和局限谈起
信息安全发展历程与趋势--冯登国
新一代人工智能:主要特征与典型应用
Al安全:攻击、防御和解释--陈恺(中科院信息工程研究所)上-无声音
泛在互联环境下数据治理--数据安全与隐私计算
2021年12月一带一路人工智能大会:人工智能从“三要素”走向“四要素”
Al安全:攻击、防御和解释--陈恺(中科院信息工程研究所)下
自动驾驶与网络安全
可信系统性质的分类和形式化研究综述
疫情下如何加强时间管理,提高科研和学习效率
轨道交通系统安全保障与智能化关键技术
工业物联网数字化转型+元宇宙经济
国际信息安全顶级学术会议介绍暨数据分析
工控协议的形式化新方法和安全评估模型关键技术