2007 | ||
---|---|---|
4 | EE | Aiwu Shi, Gleb Naumovich: Improving Data Integrity with a Java Mutability Analysis. APSEC 2007: 135-142 |
3 | EE | Aiwu Shi, Gleb Naumovich: Field Escape Analysis for Data Confidentiality in Java Components. APSEC 2007: 143-150 |
2 | Aiwu Shi, Gleb Naumovich: SAFES: A Static Analysis for Field Security in Java Components. SEKE 2007: 302-307 | |
2005 | ||
1 | EE | Aiwu Shi, Gleb Naumovich: Static Analysis for Computing Escapability and Mutability for Java Components. SCAM 2005: 119-128 |
1 | Gleb Naumovich | [1] [2] [3] [4] |