Zhenyue Deng

According to our database, Zhenyue Deng authored at least 2 papers between 2004 and 2006.

Collaborative distances:

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

2006

Type inference and informative error reporting for secure information flow.

Zhenyue Deng, Geoffrey Smith

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2004

Lenient Array Operations for Practical Secure Information Flow.

Zhenyue Deng, Geoffrey Smith

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004