日程安排
| 时间 |
主题 |
主讲人 |
单位 |
课件 |
| 8:45-9:15 |
注册签到 |
|
|
|
| 9:30-12:00 |
Qide形式化验证开发平台专题课程 |
曹钦翔教授团队 |
上海交通大学人工智能学院 |
课件 |
| 12:00-13:30 |
午间休息 |
|
|
|
| 13:30-15:30 |
Qide平台工具实践与演示 |
曹钦翔教授团队 |
上海交通大学人工智能学院 |
课件 |
| 时间 |
主题 |
主讲人 |
单位 |
课件 |
| 9:30-12:00 |
MonkeyCode企业级AI安全编程助手专题 |
长亭科技讲师团队 |
长亭科技 |
课件 |
| 12:00-13:30 |
午间休息 |
|
|
|
| 13:30-15:30 |
MonkeyCode实战与编程安全演练 |
长亭科技讲师团队 |
长亭科技 |
课件 |
| 时间 |
主题 |
主讲人 |
单位 |
课件 |
| 9:30-12:00 |
CADO-NFS密码工具系统与实际应用 |
白石教授 |
上海交通大学 |
课件 |
| 12:00-13:30 |
午间休息 |
|
|
|
| 13:30-15:30 |
CADO-NFS工具原理与实践演练 |
白石教授 |
上海交通大学 |
课件 |
| 时间 |
主题 |
主讲人 |
单位 |
课件 |
| 9:30-12:00 |
新型符号执行系统Empc揭秘与实践 |
佘东冬教授团队 / 姚双捷博士 |
香港科技大学 |
课件 |
| 12:00-13:30 |
午间休息 |
|
|
|
| 13:30-15:30 |
Empc工具实战与原理讲解 |
佘东冬教授团队 / 姚双捷博士 |
香港科技大学 |
课件 |
| 时间 |
主题 |
主讲人 |
单位 |
课件 |
| 9:30-12:00 |
移动应用UI模糊测试工具Kea2专题课程 |
苏亭老师团队 |
华东师范大学 |
课件 |
| 12:00-13:30 |
午间休息 |
|
|
|
| 13:30-15:30 |
移动应用UI模糊测试工具Kea2实践 |
苏亭老师团队 |
华东师范大学 |
课件 |
