电子科技大学计算机(网安)学院算法与逻辑团队在Information and Computation上发表研究成果北大核心CSCD

近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of Formula Length”的论文。论文第二作者和通讯作者为肖鸣宇教授。该论文研究了著名的布尔可满足性问题(SAT问题)的算法与计算复杂性,得到该问题精确求解中,以问题输入CNF公式的总长度L为度量的当前最佳运行时间上界,改进了十余年前CHEN和LIU于2009年给出的结果。     

电子科技大学许春香教授团队在IEEE TIFS发表研究成果北大核心CSCD

近日,电子科技大学计算机科学与工程学院(网络空间安全学院)许春香教授团队的硕士研究生宋雅晴以第一作者在网络与信息安全领域期刊IEEE Trans. on Information Forensics and Security(CCF A类)上发表题为《Hardening PasswordBased Credential Databases》的论文,许春香教授、张源研究员为论文通讯作者,电子科技大学为该论文唯一作者单位。     

第七届全国密码技术竞赛决赛在武汉举办北大核心CSCD

3月16日至18日,由武汉大学承办的2022第七届全国密码技术竞赛决赛暨颁奖典礼在武汉大学国家网络安全学院圆满举办。国家密码管理局副局长何良生,中国密码学会理事长、中国科学院院士王小云,武汉大学党委副书记屈文谦等出席颁奖典礼。2022第七届全国密码技术竞赛以“学习密码知识,推动密码应用,保障网络空间安全”为主题,来自全国各大高校、企业、职业院校和科研单位等共计111家单位503支队伍1500余名队员报名参赛,参赛单位类别和人员规模为历年之最。     

山东大学戴鸿君团队在RISC-V基础软件方面取得新突破北大核心CSCD

近日,山东大学戴鸿君教授带领智能创新研究院、软件学院、集成电路学院、计算机科学与技术学院以及网络空间安全学院组成的基础软件团队,成功将首个RISC-V CPU服务器的UEFI启动方案合并入开源社区tianocore EDK2主线仓库,完成了首个符合UEFI标准的RISC-V服务器固件研发。继X86、ARM架构后,RISC-V架构已可以借助UEFI的成熟生态,快速融入服务器产业化领域。这标志着山东大学具有了固件、操作系统内核等基础软件核心代码研发的国际领先能力,成为了RISC-V关键开源代码的重要贡献者。