Kosi Nwabueze

According to our database, Kosi Nwabueze authored at least 1 paper 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