TY  - RPRT
TI  - Securing Cryptographic Software via Typed Assembly Language (Extended Version)
AU  - Shixin Song
AU  - Tingzhen Dong
AU  - Kosi Nwabueze
AU  - Julian Zanders
AU  - Andres Erbsen
AU  - Adam Chlipala
AU  - Mengjia Yan
PY  - 2025
UR  - https://arxiv.org/abs/2509.08727
ID  - 2509.08727
ER  -