In February 2021, the paper titled “CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee” from the School of Cyberspace Security of Zhejiang University was published in the journal “ACM Transactions on Programming Languages and Systems” (TOPLAS), and Zhejiang University is the affiliation of the corresponding author.
Technological and industrial revolution are figuratively emerging into prominence from obscurity. As one of driving forces leading emerging technological and industrial changes in the world, artificial intelligence (AI) technology will accelerate its transformation into infrastructure, enabling the whole industry and society. However, potential security threats and risks in AI infrastructure have been recognized. The endogenous security of AI (AI Security) is one of the most fundamental component to the transformation. In recent years, both academia and industry have been strengthening the deployment and cutting-edge research of AI Security.
From November 26th to 27th, the 4th Westlake International Forum on Cyberspace Security was successfully held by the School of Cyber Science and Technology of Zhejiang University, the College of Computer Science and Technology of Zhejiang University, and the Institute of Computer Innovation Technology of Zhejiang University.
Researchers, from Zhejiang University, the City University of Hong Kong, and Alibaba, were recently honored with a Best Paper Award at the 40th IEEE International Conference on Distributed Computing Systems(ICDCS) for their paper, “HybrIDX: New Hybrid Index for Volume-hiding Range Queries in Data Outsourcing Services”. ICDCS is one of the prestigious conferences in the field of distributed computing systems. It is an important platform for engineers and scientists from international academia, industry and government to share research results. Submission to ICDCS was very competitive, with nearly 600 papers submitted and an overall acceptance rate of only 18 percent.