@misc{indiciae5490545a25bb,
  title = {Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution},
  author = {Qifan Zhang and Zilin Shen and Imtiaz Karim and Elisa Bertino and Zhou Li},
  year = {2025},
  url = {https://arxiv.org/abs/2512.11431},
  note = {Source identifier: 2512.11431}
}