浙大首次在TOPLAS期刊发表论文

wslrld

2021年2月，浙江大学网络空间安全学院的论文“CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee”发表于《ACM Transactions on Programming Languages and Systems》（TOPLAS）期刊上，浙江大学为通讯作者单位，这也是TOPLAS期刊自1979年创刊以来，浙江大学首次在该期刊上发表论文。此前，大陆研究机构在TOPLAS期刊以第一（通讯）作者单位仅发表过5篇论文。TOPLAS是计算机程序语言领域的顶级国际期刊，仅接收在原创性、基础性方面有突出贡献的成果，也是中国计算机学会推荐软件工程/系统软件/程序设计语言领域的A类期刊，平均每年刊出论文仅20多篇。

针对工业级多核、并发形态的系统软件，开展代码级的安全性和正确性验证是一直以来的技术难题，该论文以数理逻辑为基础，提出并实现了一种形式化的并发系统编程语言及验证方法，解决了并发安全验证和并发系统自顶向下逐层开发的相关理论问题，研制了原型工具，可应用到操作系统以及区块链、无人车/无人机、航空/航天等关键领域基础软件中。

浙江大学网络空间安全学院已经在在物联网安全、系统安全、数据安全、区块链安全、人工智能安全、网络安全等方向取得了丰硕的研究成果，在网络空间安全领域国际顶级期刊（如 IEEE/ACM Transactions TDSC、TIFS、ToN、TISSEC 等）和顶级会议（如 IEEE S&P、ACM CCS、USENIX Security、SIGCOMM、NDSS、IEEE INFOCOM 等）发表论文近百篇，获得11项杰出论文奖。此次论文是浙江大学网安学院与新加坡南洋理工大学网络空间安全实验室共同合作的成果，是浙大网安在编程语言安全方向取得的新突破。此前，双方已经在形式化安全技术、操作系统安全等方向开展了多年的深度合作，共同在形式化验证国际顶级会议和网络安全国际顶级期刊上联合发表多篇有影响力的学术论文。

dongandy

哪位大牛发的

opium

这新闻写得，看不懂

opium

把最关键的人都忘了

White_black

网安成立后的这几年论文国内算是top3，但在话语权上还是弱了点，积累太少，之前做比较正统网安方向的只有电气的徐文渊和信电的张帆，都太年轻，后者在加入任奎组前产出也一般，没有像上交谷大武这样的话事人，任奎虽然厉害，短时间也挤不进去

White_black

我记得之前网安还有人发了篇四大 ：徐文渊组2021NDSS

White_black

近日，浙江大学网络空间安全团队成员张秉晟研究员主导的最新研究成果“Crowd Verifiable Zero-Knowledge and End-to-end Verifiable Multiparty Computation”被国际密码学协会（IACR）的三大旗舰会议之一：Asiacrypt 2020 接收。该论文提出了一种新型的群体可验证零知识证明概念和构造方案，并用它实现了端到端可验证安全多方计算。此成果解决了安全多方计算的公开验证性问题，为安全多方计算在云计算外包服务和隐私保护机器学习等应用领域奠定了安全性基础。用户可以在不相信任意一台电脑设备的前提下，验证计算结果的正确性。这是浙江大学网络空间安全团队首次在国际三大旗舰密码学会议上发表高水平论文。

辰羲

赵永望，浙江大学计算机学院教授、博导。博士毕业于北京航空航天大学，留校任教，先后担任讲师/副教授/特聘研究员/博士生导师。2015-2016年，在新加坡南洋理工大学担任高级研究员。担任ARINC653国际操作系统标准委员会委员（国内唯一委员）、国际信息技术安全评估标准(Common Criteria,CC)操作系统内核技术委员会委员、中国计算机学会(CCF)高级会员、CCF系统软件专委会和形式化方法专委会委员。任国际标准化组织 ISO/IEC JTC1 SOA研究组组长、国家信标委分委会委员，起草4项ISO国际标准、12项国家标准。主要研究方向包括操作系统安全、形式化验证、编程语言原理等。

White_black

NDSS2021徐文渊组有一篇 这个会议是网安四大