NeuFair: Neural Network Fairness Repair with Dropout VA Dasu, A Kumar, S Tizpaz-Niari, G Tan arXiv preprint arXiv:2407.04268, 2024 | | 2024 |
NeuFair: Neural Network Fairness Repair with Dropout V Asutosh Dasu, A Kumar, S Tizpaz-Niari, G Tan arXiv e-prints, arXiv: 2407.04268, 2024 | | 2024 |
FairLay-ML: Intuitive Debugging of Fairness in Data-Driven Social-Critical Software N Yu, L Carreon, G Tan, S Tizpaz-Niari arXiv preprint arXiv:2407.01423, 2024 | | 2024 |
V-Star: Learning Visibly Pushdown Grammars from Program Inputs X Jia, G Tan Proceedings of the ACM on Programming Languages 8 (PLDI), 2003-2026, 2024 | | 2024 |
Scaling Automatic Extraction of Pseudocode L Toksoz, G Tan, CL Giles arXiv preprint arXiv:2406.04635, 2024 | | 2024 |
Sliver: A Scalable Slicing-Based Verification for Information Flow Security X Rao, C Sun, D Zeng, Y Huang, G Tan IEEE Transactions on Dependable and Secure Computing, 2024 | | 2024 |
Causal Graph Fuzzing for Fair ML Sofware Development V Monjezi, A Kumar, G Tan, A Trivedi, S Tizpaz-Niari Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety K Huang, M Payer, Z Qian, J Sampson, G Tan, T Jaeger IEEE Security & Privacy, 2024 | | 2024 |
ValidCNN: A large-scale CNN predictive integrity verification scheme based on zk-SNARK Y Fan, K Ma, L Zhang, X Lei, G Xu, G Tan IEEE Transactions on Dependable and Secure Computing, 2024 | | 2024 |
psvCNN: A Zero-Knowledge CNN Prediction Integrity Verification Strategy Y Fan, B Xu, L Zhang, G Tan, S Yu, KC Li, A Zomaya IEEE Transactions on Cloud Computing, 2024 | | 2024 |
Hardware Support for Constant-Time Programming Y Miao, MT Kandemir, D Zhang, Y Zhang, G Tan, D Wu Proceedings of the 56th Annual IEEE/ACM International Symposium on …, 2023 | | 2023 |
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set C Ma, D Wu, G Tan, MT Kandemir, D Zhang Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1470-1498, 2023 | | 2023 |
Top of the heap: Efficient memory error protection for many heap objects K Huang, M Payer, Z Qian, J Sampson, G Tan, T Jaeger arXiv preprint arXiv:2310.06397, 2023 | 2 | 2023 |
Abslearn: a gnn-based framework for aliasing and buffer-size information retrieval K Liang, J Tan, D Zeng, Y Huang, X Huang, G Tan Pattern Analysis and Applications 26 (3), 1171-1189, 2023 | 17 | 2023 |
FairLay-ML: Intuitive Remedies for Unfairness in Data-Driven Social-Critical Algorithms N Yu, G Tan, S Tizpaz-Niari arXiv preprint arXiv:2307.05029, 2023 | 2 | 2023 |
CryptoEval: Evaluating the risk of cryptographic misuses in Android apps with data‐flow analysis C Sun, X Xu, Y Wu, D Zeng, G Tan, S Ma, P Wang IET Information Security 17 (4), 582-597, 2023 | 1 | 2023 |
Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces A Burtsev, V Narayanan, Y Huang, K Huang, G Tan, T Jaeger Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 166-173, 2023 | | 2023 |
Interval Parsing Grammars for File Format Parsing J Zhang, G Morrisett, G Tan Proceedings of the ACM on Programming Languages 7 (PLDI), 1073-1095, 2023 | 2 | 2023 |
DISV: Domain Independent Semantic Validation of Data Files A Kumar, B Harris, G Tan 2023 IEEE Security and Privacy Workshops (SPW), 163-174, 2023 | 1 | 2023 |
A Derivative-based Parser Generator for Visibly Pushdown Grammars X Jia, A Kumar, G Tan ACM Transactions on Programming Languages and Systems 45 (2), 1-68, 2023 | 1 | 2023 |