![]() | ![]() |
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] |