亚博体育官网登录(yb3548.cn)是亚洲优质游戏品牌,综合各种在线游戏于一站式的大型游戏平台,经营多年一直为大家提供安全稳定的游戏环境,亚博体育官网登录值得信赖,期待广大游戏爱好者前来体验,亚博体育官网登录将把最好的游戏体验带给大家!

    软件工程学院举行“自主可控亚博体育官网登录亚博体育官网登录、安全可靠”可信软件研究生创新学术分享会
    发布时间:2021-01-07  阅读次数:1233

    2021年1月6日下午,在理科大楼B211召开了“自主可控、安全可靠”可信软件研究生创新学术分享会亚博体育官网登录亚博体育官网登录。软件工程学院副院长陈铭松(主持工作)亚博体育官网登录亚博体育官网登录亚博体育官网登录、软件科学与技术系系主任张民亚博体育官网登录亚博体育官网登录、嵌入式软件与系统系系主任缪炜恺亚博体育官网登录亚博体育官网登录、密码与网络安全系系副主任张磊担任点评专家亚博体育官网登录。6位研究生代表分享了各自最新的学术成果亚博体育官网登录。本次活动由张民副教授主持亚博体育官网登录。

     

    8f92ef93bef7410a4253f9c9021bee0

    学术分享会现场亚博体育官网登录,线上同步直播

     

    2017级博士生刘富康同学在线上分享了在Crypto 2020上发表的论文《Automatic Verification of Differential Characteristics: Application to Reduced Gimli》亚博体育官网登录。该论文主要介绍如何构建差分路线有效性自动化检测模型亚博体育官网登录亚博体育官网登录亚博体育官网登录亚博体育官网登录。其主要思想是在模型中同时考虑差分传播以及值传播。利用该模型,对NIST轻量级密码算法竞赛的第二轮候选算法Gimli进行了分析。

     

    2017级博士生乔琪同学分享了在IEEE SECON 2020上发表的论文《Hybrid Intrusion Detection Mechanisms for Integrated Electronic Systems》亚博体育官网登录。该论文主要介绍面向基于1553B总线的综合电子系统的入侵检测方案亚博体育官网登录亚博体育官网登录。其主要思想是针对1553B总线协议特殊的通信机制亚博体育官网登录,对总线上的周期性消息和非周期性消息分别提出了序列检测和决策树检测算法亚博体育官网登录,并通过仿真实验证明所提出的方案达到了实时、准确的检测效果。

     

    2536616fb5f0a1e7e7828c4233ce0f7

    乔琪同学分享学术成果

     

    2016级博士生张枨宇同学分享了在PLDI 2020以及OOPSLA 2020上发表的与SMT求解器测试相关的工作亚博体育官网登录,分别介绍了基于构造预期输出的语义融合方法,以及基于差异测试的公式变异方法。这一系列工作共在目前最好的SMT求解器Z3和CVC4中找出千余个缺陷亚博体育官网登录,其中有数百个严重的求解错误缺陷亚博体育官网登录。该系列工作提升了目前SMT求解器的可靠性,在国际上受到了广泛的关注亚博体育官网登录。

     

    16b414622b8f6b66da039d41542d79c

    张枨宇同学分享学术成果

     

    2019级博士生胡铭同学分享了在DAC 2019上发表的论文《Sample-Guided Automated Synthesis for CCSL Specifications》亚博体育官网登录。该论文提出了一种基于SKETCH的时间约束规约语言(CCSL)的综合方法亚博体育官网登录亚博体育官网登录,将CCSL的综合问题转化为sketching问题亚博体育官网登录亚博体育官网登录亚博体育官网登录,帮助设计人员生成满足预期时间行为的CCSL规约亚博体育官网登录亚博体育官网登录亚博体育官网登录。

     

    b0b4d50af885eefcc70d1e3747f123f

    胡铭同学分享学术成果

     

    2017级博士生秦旭东同学介绍了在TACAS2020上发表的论文《Verifying Quantum Communication Protocols with Ground Bisimulation》中的工作亚博体育官网登录。论文的主要内容是关于通过检测量子基互模拟来判断量子程序的实现与需求规约之间是否等价,以此验证量子程序的正确性。为此该论文设计并实现了两个on-the-fly算法,分别用于检测两个由量子CCS编写的量子程序之间的强基互模拟以及弱基互模拟亚博体育官网登录亚博体育官网登录。并且基于算法的实现开发了自动化的验证工具QBisim亚博体育官网登录,用于验证各种量子协议亚博体育官网登录,例如量子隐态传输协议亚博体育官网登录、量子密钥分发协议亚博体育官网登录、BB84量子密钥分配方案等。

     

    da13eade24c15157a610fe9571e361e

    秦旭东同学分享学术成果

     

    2016级博士生王露同学在CCF-A会议KDD发表论文《Supervised reinforcement learning with recurrent neural network for dynamic treatment recommendation》亚博体育官网登录,被引52次亚博体育官网登录亚博体育官网登录,被下载2598次。该论文解决了医疗领域动态辅助治疗问题亚博体育官网登录亚博体育官网登录,即如何实时推荐合适的治疗方案给医生用作辅助医生治疗病人。解决问题的思想在于同时利用医生的监督信号和病人不同时刻的存活信号作为奖赏信号亚博体育官网登录亚博体育官网登录,利用强化学习算法基于历史治疗数据搜索出更优的治疗方案亚博体育官网登录。该技术在离线的800个病人数据中测试亚博体育官网登录,获得了比原始数据更低的估计死亡率亚博体育官网登录。

     

    c77b2315b78c53117bd3aed886684ad

    王露同学分享学术成果

     

    四位专家围绕研究生代表的科研成果展开了点评与讨论亚博体育官网登录,与会学生通过线上会议室留言及现场提问的方式亚博体育官网登录亚博体育官网登录,积极学习研究生代表的成功经验亚博体育官网登录。点评专家陈铭松教授总结了2020年研究生学术创新的总体情况亚博体育官网登录亚博体育官网登录,并激励所有学生在科研上要“不惧困难亚博体育官网登录亚博体育官网登录亚博体育官网登录、勇于尝试亚博体育官网登录亚博体育官网登录、敢于突破”。

     

    10da9ad42d6335f61f7c8846ea38413

    点评专家陈铭松教授激励研究生科研创新

     

    本次活动采用现场互动亚博体育官网登录亚博体育官网登录、线上直播的形式亚博体育官网登录,吸引了众多学生参加亚博体育官网登录亚博体育官网登录。通过海报展示亚博体育官网登录亚博体育官网登录亚博体育官网登录、创新学术分享,向全院师生展示2020年研究生获得的标杆性研究成果亚博体育官网登录亚博体育官网登录,激发了研究生对前沿技术的进一步探索亚博体育官网登录亚博体育官网登录亚博体育官网登录,用辩证思维深入思考及研究亚博体育官网登录亚博体育官网登录亚博体育官网登录,以推动全院高水平学术氛围的形成亚博体育官网登录,为实现“培养学科相关领域的高端人才、为国家新工科发展提供优秀人才保障”的目标搭建平台。

     

    8ad6b602c6ccddadfa3280ec1e36d89

    研究生参观学术成果海报

    华东师范大学软件工程学院
    www.nodll.com Copyright Software Engineering Institute
    院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼
    亚博体育官网登录