Alibaba Cloud’s DNS Formal Verification Paper Selected for ACM SOSP’23

October 27, 2023 – Recently, a collaborative research paper between Alibaba Cloud (Alibaba’s cloud computing subsidiary) and Peking University titled “Automated Verification of an In-Production DNS Authoritative Engine” has been accepted for presentation at the prestigious ACM Symposium on Operating Systems Principles (SOSP) 2023. This paper introduces a groundbreaking approach to formal verification technology, which…

Read More