@misc{indiciaea33706bf2c44,
  title = {Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts},
  author = {Sander Huyghebaert and Steven Keuchel and Coen De Roover and Dominique Devriese},
  year = {2024},
  url = {https://arxiv.org/abs/2306.05128},
  note = {Source identifier: 2306.05128}
}