![]() |
| 2009 | ||
|---|---|---|
| 3 | EE | Joseph Tucek, Weiwei Xiong, Yuanyuan Zhou: Efficient online validation with delta execution. ASPLOS 2009: 193-204 |
| 2008 | ||
| 2 | EE | Lin Tan, Xiaolan Zhang, Xiao Ma, Weiwei Xiong, Yuanyuan Zhou: AutoISES: Automatically Inferring Security Specification and Detecting Violations. USENIX Security Symposium 2008: 379-394 |
| 2007 | ||
| 1 | EE | Mingqing Zheng, Weiwei Xiong, Dapeng Ju, Dongsheng Wang: T-Archive: A Novel HSM-Based Data Archive System. Data Science Journal 6: 441-444 (2007) |
| 1 | Dapeng Ju | [1] |
| 2 | Xiao Ma | [2] |
| 3 | Lin Tan | [2] |
| 4 | Joseph Tucek | [3] |
| 5 | Dongsheng Wang | [1] |
| 6 | Xiaolan Zhang (Xiaolan (Catherine) Zhang) | [2] |
| 7 | Mingqing Zheng | [1] |
| 8 | Yuanyuan Zhou | [2] [3] |