Yuteng Sun

According to our database, Yuteng Sun authored at least 1 paper in 2024.

Collaborative distances:

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

2024

ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.

Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury

Proceedings of the IEEE Symposium on Security and Privacy, 2024