Thing-Han Lim

According to our database, Thing-Han Lim authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Formally Verified Correctness Bounds for Lattice-Based Cryptography.

Manuel Barbosa, Matthias J. Kannwischer, Thing-Han Lim, Peter Schwabe, Pierre-Yves Strub

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

Enabling Microarchitectural Agility: Taking ML-KEM & ML-DSA from Cortex-M4 to M7 with SLOTHY.

Amin Abdulrahman, Matthias J. Kannwischer, Thing-Han Lim

Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, 2025