2022.7.23 人工智能安全可信理论与验证平台
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
轨道交通联锁系统形式化验证解决方案
...
工业物联网安全可信智能感知与计算
...
芯片形式验证技术及应用--华为
...
2022.4.27--片上系统的模块化规范与形式化验证--张弘策（香港科技大学广州校区）
...
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
...
2022.10-可信软件漫谈：软件可信吗？（南京大学李宣东教授）
...
可信系统性质的分类和形式化研究综述
...
2022年3月人工智能论坛机器之心AI科技年会（上午）
...
《信息安全学报》线上学术沙龙（第七期）——“人工智能安全”学术报告会
...
自动驾驶系统中深度学习模型的研究现状，安全挑战与发展趋势
...
区块链安全与应用技术的研究进展--张小松
...
openEuler 与基础软件创新+自然语言驱动的程序生成和分析+程序合成——从补丁合成到算法合成+规约驱动的嵌入式系统综合与验证
...
第20届CCF 全国嵌入式系统大会--芯片形式化验证技术及其应用案例、电子系统空间辐射效应建模仿真方法
...
中国计算机学会形式化方法专委战略研讨会： 基于形式化方法的计算系统设计与验证（上午场：软硬件基础设施验证）
...
2021年中国软件大会-电子设计自动化软件验证论坛
...
DSA 2022特邀报告
...
人工智能安全的相关近期研究--南京大学仲盛教授
...
中国计算机学会形式化方法专委战略研讨会： 基于形式化方法的计算系统设计与验证（下午场：人机物融合系统设计、综合与监控）
...
泛在互联环境下数据治理--数据安全与隐私计算
...
航天嵌入式软件可信研究进展与展望--杨孟飞院士
...
智能算法的形式验证与分析
...
区块链：零信任之上的共识（山东大学成秀珍教授）
...
电子设计自动化软件验证论坛2.mp4
...
2022年3月人工智能论坛机器之心AI科技年会（下午前两个）
...
江贺-编译器的可信保障与智能化
...
2022年4月28日学术研究方法浅谈--北航马帅
...
基于系统证据分析的隐蔽性攻击检测+开源软件供应链风险分析与治理+扰动下时延混成系统的安全切换控制器生成
...
软件工程未来趋势研讨会-2022.7.16
...
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证
...
工控协议的形式化新方法和安全评估模型关键技术
...
人工智能产业化的困境与机遇从深度学习的能力和局限谈起
...
碳达峰碳中和-人工智能发展的必由之路
...
一种基于GAN的跨项目软件缺陷预测方法
...
2021年12月一带一路人工智能大会：人工智能从“三要素”走向“四要素”
...
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证，上午Panel
...
神经网络鲁棒性验证中的近似技术-华东师大张民教授
...
2021年9月8号王怀民院士-云际计算
...
IJTCS 2021 Industry Forum-Blockchain
...
编译原理课程Flex+Bison使用讲解
...
新一代人工智能：主要特征与典型应用