Hengrun Zhang

According to our database, Hengrun Zhang authored at least 1 paper in 2018.

Collaborative distances:

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

2018

Knowledge-Based Security of Dynamic Secrets for Reactive Programs.

McKenna McCall, Hengrun Zhang, Limin Jia

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018