Securing Cryptographic Software via Typed Assembly Language (Extended Version). - Shixin Song; Tingzhen Dong; Kosi Nwabueze; Julian Zanders; Andres Erbsen; Adam Chlipala; Mengjia Yan 001 (CoRR, 2025)