Securing Cryptographic Software via Typed Assembly Language (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Song, Shixin, Dong, Tingzhen, Nwabueze, Kosi, Zanders, Julian, Erbsen, Andres, Chlipala, Adam, Yan, Mengjia
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Hardware Architecture Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2509.08727