Tingzhen Dong

According to our database, Tingzhen Dong authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Securing Cryptographic Software via Typed Assembly Language (Extended Version).

Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan

CoRR, September, 2025

Securing Cryptographic Software via Typed Assembly Language.

Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025