Zhenyue Deng

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Zhenyue Deng, Geoffrey Smith
Type inference and informative error reporting for secure information flow. ACM Southeast Regional Conference (2006)
Zhenyue Deng, Geoffrey Smith
Lenient Array Operations for Practical Secure Information Flow. CSFW (2004)