1.威胁情报分享的意义(Threat Intelligence Sharing)
2.威胁情报和安全运维(Automation and enrichment for SOC)
3.威胁狩猎(Threat Hunting)
……
已有104人学习
1.Security DNA In GCP:Innovation
2.Protection at Planetary Scale
3.End-to-end provenance & attestation
4.Encrypt at rest by default
……
已有146人学习
1.车规芯片特点(AEC-Q100,功能安全,信息安全)
2.典型座舱/智驾芯片架构介绍(功能安全,信息安全设计)
3.电动化时代车规芯片的新要求(Mission profile等)
4.智能化时代大算力芯片的发展(异构,存算一体,CXL,以太网)
已有289人学习
1. 模型检查技术的基本原理
2. 主流模型检查技术的案例解析
3. 一个基于模型检查的小的SEC应用
……
已有212人学习
1. 机器人应用案例
2. 机器人的灵巧移动
3. 机器人的抓持操作
……
已有172人学习
1.动作捕捉系统的组成及基本原理
2.动作捕捉系统在工业领域中的应用及展望
……
已有133人学习
1.密码学的定义
2.加密语法的定义
3.古典密码学以及其破解方案
4.完美安全和完美不可区分性
……
已有175人学习
1.智能车联网在中国的发展背景与产业变革
2.区块链技术在保障车联网数据安全中的应用优势与前景
3.基于区块链技术的车联网数据安全生态互联建设
4.车联网与区块链融合发展下“车链网”的关键技术、核心特点及应用场景
…
已有225人学习
1.微软在人工智能领域的历史与愿景;
2.微软在人工智能领域的行动;
3.人工智能领域应用;
4.人工智能的未来
已有226人学习
本次课程将从工业界的角度,介绍一些目前关注的人工智能安全和隐私威胁,并介绍对人工智能生命周期的风险分析和防御方法,从测评、检测、增强方向提供防御。
已有133人学习
1. 深度神经网络的形式化验证
2. 线性近似在神经网络验证中的应用
3. 线性近似精确度的度量标准
4. 算法层面的神经网络验证加速
已有246人学习
1. 为什么需要可验证的人工智能系统
2. 人工智能系统验证的核心科学问题
3. 可验证人工智能系统的可能实现途径
4. 人工智能系统的可信构造与验证方法
已有212人学习
威胁情报和全球汽车行业的总体态势
Google Cloud安全介绍和新世代SecOps
车规芯片的特点及算力芯片发展趋势
模型检查验证技术原理与其在芯片验证中的案例应用
智能机器人的灵巧移动与抓持操作
光学动作捕捉的基本原理及在工业领域的应用介绍
密码学基础——从古典密码到现代密码学的演进
智车链-区块链背景下的车联网数据安全生态互联
微软在人工智能领域的方向与行动
从工业界角度看可信AI
神经网络鲁棒性验证中的近似技术
可验证的人工智能系统理论与方法
已完成
数据加载中