Zhenyue Deng

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

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

2004

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

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

Coauthor Index