ChinaSoft 论坛巡礼 | 系统与网络安全论坛

news2024/11/26 18:27:19

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!

目前大会火热报名中!

CCF ChinaSoft 2023官方首页:

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

b25b56efda9142ef9fe7e551007a9bf7.jpeg

✦  +

+

论坛巡礼

论坛名称:系统与网络安全论坛

时间: 2023年12月2日(周六),14:00 – 18:00

地点: 上海国际会议中心,3B会议室

论坛简介:

     近年来,随着移动通信、云计算、人工智能、区块链等技术的快速发展,传统系统软件与网络应用被赋予新特性和新场景,新兴系统软件与网络应用也不断涌现。与此同时,各类系统攻击、网络犯罪等安全问题频繁发生,给社会和国家安全带来了极大的危害。CCF ChinaSoft2023“系统与网络安全”论坛主要关注网络空间中新兴系统软件与网络软件的安全检测、防御与溯源等技术,经过公开征集论文,共收到35份稿件,经过两轮评审,最终10篇论文通过评审被邀请到论坛汇报。另外,本论坛还邀请了学术界和产业界的专家学者来分享他们最新的研究成果及见解。

日程安排

Schedule

db72b6a32ba9b4b9b49f00ba0a2b08da.png

1f3543812ec77814d5857ab8b51671da.png

论坛主席

Forum Chairmen

ee001bf9122ff002715746d30e1da934.jpeg

向剑文

武汉理工大学

    武汉理工大学计算机与人工智能学院副院长、教授、博士生导师,湖北省百人计划特聘专家,湖北省创新群体负责人,CCF系统软件专委会与软件工程专委会执行委员、中国电子学会可靠性分会委员、工业控制系统安全与可靠测评共性技术工信部重点实验室学术委员会委员。主要研究方向包括网络安全和可靠性工程等。主持国家重点研发计划课题、国家自然科学基金、国家242信息安全专项、湖北省重点研发计划、湖北省自然科学基金重点等多个科研项目,担任包括ISSRE、DSN等多个国际会议大会主席或组织工作。

b6e1327642ee8b598580815768d69491.jpeg

陈厅

电子科技大学

    主要从事软件安全,尤其是区块链攻击交易检测、智能合约行为识别和区块链资源滥用防御的研究工作。发表高水平论文35篇,在国际公认的安全/软件工程/网络顶级国际会议上(CCS、NDSS、ICSE、ASE、INFOCOM等)发表论文8篇,谷歌总引用1780次。获得2012国家科技进步二等奖(排名第六)、2010 四川省科技进步一等奖(排名第五)。入选四川省学术和技术带头人后备人选,被评为2019 成都区块链年度优秀个人(唯一高校获奖者)。主持一项国家重点研发计划课题和两项国家自然基金项目,拥有8项发明专利授权,包括1项美国专利,相关成果已在三家高科技企业推广应用。担任知名安全SCI期刊《Security and CommunicationNetworks》客座编辑、区块链知名国际会议IEEE International Symposium on Blockchain程序委员会主席。连续两年担任安全四大顶会之一NDSS程序委员会委员,连续5年担任通信领域旗舰国际会议Globecom程序委员会委员。

09561994618e7732d8567861b886c594.jpeg

王浩宇

华中科技大学

    华中科技大学网络空间安全学院教授,博士生导师, Security PRIDE团队负责人,华科网安-烽火通信网络安全联合研究中心主任,华中科技大学OpenHarmony技术俱乐部主任。研究方向为新兴软件系统安全,近年共发表论文100余篇,包括CCF-A类论文和CSRankings顶会论文70余篇。曾三次获得CCF A类顶会最佳/杰出论文奖,2021年度北京市科技进步一等奖,2021年度中国通信学会科技进步二等奖,2022年度中国电子学会科技进步二等奖等奖励。

ce1fe3cb67992a89c780b39ad8602d44.png

罗夏朴 

香港理工大学

    香港理工大学计算机系教授,博士生导师,在移动安全和隐私、区块链/智能合约、网络安全和隐私,以及软件工程等方向取得丰硕科研成果,多次在相关领域的顶级会议和期刊上发表论文,包括IEEE S&P、USENIX SEC、ACM CCS、NDSS、ICSE、ESEC/FSE、ASE、ISSTA等,累计发表CCF A 类论文过百篇;获10项最佳论文奖,包括2022年ISSTA SIGSOFT杰出论文奖、 2021年ICSE SIGSOFT杰出论文奖、2018 年INFOCOM 最佳论文奖、2016 年ISSRE 最佳研究论文奖等;并荣获多项工业界奖项,如亚太区资讯安全领导成就表彰计划(2017)、CCF-腾讯犀牛鸟基金优秀奖(2014)等;其研究成果被业界主要公司所使用,并有一批成果通过开源方式贡献给学术界和工业界;其现任IEEE/ACM Transactions on Networking和IEEE Transactions on Dependable and Secure Computing编委,多次担任安全及软工顶会程序委员会委员,并为RAID’23和Securecomm’23的大会主席。

7eb647fc77e471f7cb5859a82bd221e8.jpeg

杨珉

复旦大学

    复旦大学计算机科学技术学院院长兼党委副书记,复旦大学中国网络空间战略研究所副所长,上海市青年联合会第十二届副主席,第八届国务院学位委员会网络空间安全学科评议组成员、教育部长江学者特聘教授。主要研究领域包括网络安全,主要包括恶意代码检测、漏洞分析挖掘、AI 安全、区块链安全、Web 安全和系统安全机制等。

论坛嘉宾

Forum Guests

040bfca1e40185ee39538b6d76b28df4.jpeg

何跃鹰 

网络安全应急技术国家工程研究中心

    现任网络安全应急技术国家工程研究中心常务副主任,工业控制系统网络安全应急技术工信部重点实验室主任,北航、北理工、武汉理工大学等校兼职研究生导师,主要致力于工控物联网安全和数据跨境安全检测等方向的研究。领导团队研究成果“面向超大规模流量的·网络生物数据安全检测关键技术及应用”获2021年中国通信学会科技进步奖一等奖,研究成果“面向国家关键基础设施的·网络安全威胁检测技术及应用”获2022年中国电子学会科技进步奖二等奖。被聘为IEEE PES电力系统信息与网络安全技术分委会副主席,中国应急管理学会石油石化安全与应急工作委员会副主任委员,北京市“两区”建设专家咨询委员会专家。

报告题目:

软件供应链安全治理研究与实践

报告摘要:

   随着软件开发方式的变革以及开源软件的蓬勃发展,软件供应链安全风险日益严峻。本报告介绍软件供应链安全国家战略,分析开源软件的主要安全风险,给出软件供应链安全分析系统解决方案及其典型应用,并总结了软件供应链安全治理的平台架构和工作流程。

a33080a5b1b0c9a8d5f4ff6ecafb0cbf.png

南雨宏

中山大学

    中山大学软件工程学院“百人计划“副教授,校青年拔尖人才。博士毕业于复旦大学,曾任普渡大学博士后研究员、普渡CERIAS访问学者。主要研究方向为软件安全及隐私保护,研究对象涉及移动操作系统、物联网平台、区块链及智能合约。在系统安全会议USENIX Security、ACM CCS,NDSS会议发表论文共计10余篇。曾获ACM SIGSAC中国优秀博士论文奖、WOOT 2020最佳论文奖、北美CSAW Applied Security Research Top-10 Finalist等荣誉。主持国家自然科学基金青年基金、广东省重点领域专项、广东省面上、阿里AIR基金等项目。研究累计发现30余项软件安全及隐私问题,13项漏洞获国家漏洞库CNVD高危评级,以及获得Apple、Google、Facebook、Microsoft、Bluetooth SIG、Slack等厂商确认及致谢。

报告题目:

大规模物联网设备隐私泄露隐患研究

报告摘要:

    物联网终端设备广泛应用于智能家居、健康医疗等场景中。由于此类设备经常携带大量与个人隐私紧密相关的敏感数据,其隐私泄露的风险及隐患长久以来受到广泛关注。已有针对物联网设备的隐私泄露分析检测方案集中于对设备进行动态测试。然而,鉴于物联网设备类型丰富、形式多样,动态测试往往依赖于特定实验环境及人工辅助,无法有效支撑大规模合规审查、平台监管等隐私保护的迫切需求。针对该挑战,本报告将介绍如何利用物联网设备中广泛存在的配套移动应用,实现对物联网设备所承载隐私数据进行有效的分析推断,进一步实现不依赖于物联网设备对相关隐私数据实现大规模、自动化分析。

0e4c51ced2af38a301f8c0db012a2b3f.jpeg

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1175717.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

xv6实验课程--xv6的写时复制fork(2023)

7. xv6实验课程--xv6的写时拷贝(COW)(2021) 7. xv6实验课程--xv6懒惰分页分配(lazy)(2020) 本文来源: https://mp.weixin.qq.com/s/XJkhjrlP232ZDsRyXd0oHQ 已完成的实验代码可以从下列网站获取: git clone https://gitee.com/lhwhit196…

【C语言基础教程】函数指针与指针大小

文章目录 前言一、函数指针1.1 函数指针的概念1.2 三个示例代码示例1: 使用函数指针调用不同的函数示例 2: 使用函数指针实现回调函数示例 3: 使用函数指针数组 二、指针的大小2.1 前述2.2 指针大小如何决定?两方面理解 总结 前言 在C语言中,指针是一项…

腾讯云香港服务器购买多少钱一年?288元

香港云服务器可以选择腾讯云香港地域的轻量应用服务器,轻量2核2G配置、20M峰值带宽、40G SSD系统盘,优惠价格24元一个月,Linux系统是288元一年,Windows系统是360元一年,腾讯云百科txybk.com分享腾讯云香港轻量应用服务…

Android打造一个高性能无限层级显示的树形控件(Android树形控件)

Android使用ListView实现一个高性能无限层级显示的树形控件: 最近公司的Android项目里有一个地方需要选择某公司的所有部门,因为手机屏幕有限所以并不能像网页那样显示树状结构,但是如果只是用列表依次显示所有的部门又会让用户很难找到想要…

Weblogic ssrf漏洞复现

文章目录 一、漏洞描述二、漏洞特征1.查看uddiexplorer应用2.漏洞点 三、漏洞复现1.获取容器内网ip2.VULHUB Weblogic SSRF漏洞 docker中 centos6 无法启动的解决办法3.准备payload4.反弹shell 一、漏洞描述 SSRF 服务端请求伪造(Server-Side Request Forgery),是一种由攻击者…

想要制作一本简单的电子画册,应该怎么做?

随着移动互联网的快速发展,越来越多人开始想要制作电子画册并利用电子画册实现营销宣传。0基础如何制作电子画册,教你一个简单制作的方法。 利用FLBOOK在线电子画册制作平台就可轻松制作,比PPT更简单,迅速上手使用。下面是详细的制…

2023年app拉新地推接单平台有哪些?十大地推团队接单平台必备

地推和网推拉新行业在步入2023年以后,有了长足的进步,因此也有很多互联网团队开始转型从事地推app拉新和网推app拉新作业。那么对于地推团队和网推团队而言,应该去哪里接单?换言之,2023年地推团队和网推团队的接单平台…

岩土工程公路隧道监测中智能振弦传感器的应用方案

岩土工程公路隧道监测中智能振弦传感器的应用方案 隧道建设是现代城市发展中不可或缺的一部分。但隧道工程建设与维护过程中需要考虑诸多风险。地质环境复杂,地下水位、地震等因素可能导致隧道构造物的沉降、变形等问题。为此,在隧道建设和运营过程中&a…

钉钉企业微应用开发C#+VUE

钉钉相信很多人都用过或听过,企业OA审批,考勤,沟通方方面面都支持。但是有的需求自定义表单的无法满足,例如带有业务特性的数据来源,可能是内部其他系统,以及数据筛选分析没有那么方便,钉钉官方…

精品小站

今天分享几个精品小站,换换心情,您的在看、转发、点赞 就是对tuonioooo最大的支持! xodo在线PDF工具 网址:https://xodo.com/ 一个国外的网站提供免费的PDF转换、在线阅读、编辑和多人协作工具。这个网站支持对PDF进行编辑&…

08 叉积的标准介绍

叉积的标准介绍 基本概念几何解释 这是关于3Blue1Brown "线性代数的本质"的学习笔记。 基本概念 向量 v ⃗ \vec{v} v 叉乘向量 w ⃗ \vec{w} w 的结果大小是这两个向量围成的平行四边形的面积,方向由右手定则确定。 v ⃗ w ⃗ \vec{v}\vec{w} v w - …

爱德华的台灯真的好用?爱德华、书客、好视力护眼台灯对比测评

如今孩子近视的比例越来越大,而且时间越来越提前,一些上小学的孩子开始近视佩戴眼镜。其实造成近视的原因不外乎作业坐姿不标准,学业时间太长缺少户外的运动,也包括可能灯光光源的问题造成对于视力的影响。如果希望孩子有一个较好…

awk精确筛选

awk精确筛选: $(><):用于对比数值 $n~"字符串"代表第n个字段包括某个字符 $n!~"字符串"代表第n个字段不包括某个字符 $n"字符串"代表第n个字段为某个字符 $n!"字符串"代表第n个字段不为某个字符 $NF:最后一个字段 awk -F…

Linux文件系统(操作系统的文件管理)

文章目录 一.内存中的文件管理(文件与进程)二 .Linux系统视角下的计算机外设三.磁盘上的文件管理 参考Linux内核源码版本------linux-2.4.3 一.内存中的文件管理(文件与进程) 操作系统之下,进程是计算机系统执行计算任务的基本单位,进程访问文件执行数据读写之前,操作系统会从…

C++ 代码实例:并查集简单创建工具

文章目录 前言代码仓库代码说明main.cppMakefile 结果总结参考资料作者的话 前言 C 代码实例&#xff1a;并查集简单创建工具。 代码仓库 yezhening/Programming-examples: 编程实例 (github.com)Programming-examples: 编程实例 (gitee.com) 代码 说明 简单地创建并查集注…

MATLAB - Gazebo 联合仿真 —— 使用 UR10 机械臂检测和采摘水果

系列文章目录 文章目录 系列文章目录前言一、设置 Gazebo 仿真环境二、在 Gazebo 中模拟和控制机器人2.1 概述2.2 任务调度器2.3 感知和目标生成系统2.4 运动规划2.5 机械臂和关节控制系统 三、分配用于控制机器人的参数3.1 定义机器人模型和运动规划参数&#xff0c;3.2 定义机…

基于野马算法的无人机航迹规划-附代码

基于野马算法的无人机航迹规划 文章目录 基于野马算法的无人机航迹规划1.野马搜索算法2.无人机飞行环境建模3.无人机航迹规划建模4.实验结果4.1地图创建4.2 航迹规划 5.参考文献6.Matlab代码 摘要&#xff1a;本文主要介绍利用野马算法来优化无人机航迹规划。 1.野马搜索算法 …

基于向量加权平均算法的无人机航迹规划-附代码

基于向量加权平均算法的无人机航迹规划 文章目录 基于向量加权平均算法的无人机航迹规划1.向量加权平均搜索算法2.无人机飞行环境建模3.无人机航迹规划建模4.实验结果4.1地图创建4.2 航迹规划 5.参考文献6.Matlab代码 摘要&#xff1a;本文主要介绍利用向量加权平均算法来优化无…

CSS 滚动捕获 Scroll Snap

CSS 滚动捕获 Scroll Snap CSS 滚动捕获允许开发者通过声明一些位置(或叫作捕获位置)来创建精准控制的滚动体验. 通常来说轮播图就是这种体验的例子, 在轮播图中, 用户只能停在图 A 或者图 B, 而不能停在 A 和 B 的中间. 比如平时用淘宝或小红书, 当你上滑到下一个推荐内容时…

分享90个节日庆典PPT,总有一款适合您

分享90个节日庆典PPT&#xff0c;总有一款适合您 PPT下载链接&#xff1a;百度网盘 请输入提取码 提取码&#xff1a;8888 Python采集代码下载链接&#xff1a;采集代码.zip - 蓝奏云 学习知识费力气&#xff0c;收集整理更不易。知识付费甚欢喜&#xff0c;为咱码农谋福利…