@misc{indiciaef928b57a51b3,
  title = {Automatic ISA analysis for Secure Context Switching},
  author = {Neelu S. Kalani and Thomas Bourgeat and Guerney D. H. Hunt and Wojciech Ozga},
  year = {2025},
  url = {https://arxiv.org/abs/2502.06609},
  note = {Source identifier: 2502.06609}
}