新闻动态
通知公告
研究动态
近日，区块链与数据安全全国重点实验室赵永望教授团队的论文《Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B》，被ACM Formal Aspects of Computing(FAC)期刊遴选为2023年度 Featured Article。FAC期刊创刊于1989年，是形式化方法领域的国际顶级期刊。该论文使用Event-B方法对最新版的ARINC653多核操作系统标准进行了严格的形式化建模与自动化验证。论文提出了一种多核操作系统的细粒度行为...
近日，中国电子学会公布2023中国电子学会科学技术奖名单，浙江大学计算机学院院长、浙江大学区块链与数据安全全国重点实验室常务副主任任奎教授牵头完成的项目“智能系统数据安全与隐私保护理论与方法”荣获自然科学一等奖。中国电子学会科学技术奖是由国家科技奖励工作办公室批准的国家级学会奖项，是国内电子信息技术发展的风向标，在国内外具有重大的学术影响力。此次荣获2023中国电子学会科学技术奖自然科学一等奖是中国电子学...
本文转自平安鼎(ID:zjpinganding)全省深化数字法治改革推进政法智能化建设工作例会召开坚持统分结合 凝聚改革合力加快打造政法智能化建设标杆省王成国讲话 杨青玖主持 李占国林贻影出席2月23日，全省深化数字法治改革推进政法智能化建设工作例会召开。省委常委、政法委书记王成国出席会议并讲话，强调要深入学习贯彻习近平总书记对政法工作的重要指示和考察浙江重要讲话精神，认真落实中央和省委政法工作会议精神，按照全省“...
近日，浙江大学共有12位教师担任国际信息安全顶级会议ACM CCS 2024的程序委员会委员，入选总人数排名全球高校第一。其中巴钟杰、申文博、冯博、刘金飞、罗梦、周亚金、娄坚、姚培森、秦湛（按姓氏笔画排序）9位教师来自浙江大学区块链与数据安全全国重点实验室。ACM CCS全称为ACM Conference on Computer and Communications Security，是国际公认的信息安全领域旗舰会议，与IEEE S&P、USENIX Security、NDSS并称为信息安全领...
2023年12月23日，CCF数据治理发展委员会首届选举大会在CCF业务总部举行。80名发展委员会首批执委参加了会议，中国电子信息产业集团有限公司陆志鹏当选数据治理发展委员会主任，浙江大学区块链与数据安全全国重点实验室常务副主任、浙江大学网络空间安全学院院长任奎教授等3人当选副主任。
11月10日，浙江省科技创新大会在省人民大会堂隆重举行，会上颁发了2022年度浙江省科学技术奖。区块链与数据安全全国重点实验室常务副主任、浙江大学网络空间安全学院院长任奎教授团队的研究成果《云计算数据安全与隐私保护理论与方法》荣获2022年度浙江省自然科学奖一等奖。获奖项目《云计算数据安全与隐私保护理论与方法》凝聚了任奎教授及其团队历经十五年积累的云计算数据安全领域研究成果。项目第一完成人任奎教授是数据安全的...
新华社北京8月21日电 8月21日下午，国务院以“加快发展数字经济，促进数字技术与实体经济深度融合”为主题，进行第三次专题学习。国务院总理李强主持专题学习。中国工程院院士陈纯作了讲解。国务院副总理丁薛祥、张国清、刘国中作交流发言。李强在听取讲座和交流发言后指出，党的十八大以来，以习近平同志为核心的党中央高度重视发展数字经济，习近平总书记作出一系列重要论述，为我国数字经济发展指明了方向，引领数字经济...
7月18日下午，杭州高新区（滨江）区块链与数据安全研究院第一届管理委员会（领导小组）第一次会议在浙江大学玉泉校区邵科馆召开。浙江大学党委常委、副校长王立忠，区块链与数据安全全国重点实验室主任、中国工程院院士陈纯，区委书记章登峰出席并讲话。区领导郑迪、王孟辉、王理生，浙江大学计算机科学与技术学院院长陈刚，网络空间安全学院院长、区块链与数据安全全国重点实验室常务副主任任奎，杭州高新区（滨江）区块链与数据...
