Weitian Xing

According to our database, Weitian Xing authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Ensuring correct cryptographic algorithm and provider usage at compile time.

Weitian Xing, Yuanhui Cheng, Werner Dietl

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021