Lenient Array Operations for Practical Secure Information Flow. - Zhenyue Deng; Geoffrey Smith 001 (CSFW, 2004)

Type inference and informative error reporting for secure information flow. - Zhenyue Deng; Geoffrey Smith 001 (ACM Southeast Regional Conference, 2006)