@misc{indiciaea903bc9bff3c,
  title = {Securing Cryptographic Software via Typed Assembly Language (Extended Version)},
  author = {Shixin Song and Tingzhen Dong and Kosi Nwabueze and Julian Zanders and Andres Erbsen and Adam Chlipala and Mengjia Yan},
  year = {2025},
  url = {https://arxiv.org/abs/2509.08727},
  note = {Source identifier: 2509.08727}
}