Zhenyue Deng

List of publications from the DBLP Bibliography Server - FAQ

2006

2 EE Zhenyue Deng, Geoffrey Smith: Type inference and informative error reporting for secure information flow. ACM Southeast Regional Conference 2006: 543-548

2004

1 EE Zhenyue Deng, Geoffrey Smith: Lenient Array Operations for Practical Secure Information Flow. CSFW 2004: 115-

2006
2	EE	Zhenyue Deng, Geoffrey Smith: Type inference and informative error reporting for secure information flow. ACM Southeast Regional Conference 2006: 543-548
2004
1	EE	Zhenyue Deng, Geoffrey Smith: Lenient Array Operations for Practical Secure Information Flow. CSFW 2004: 115-

Coauthor Index