Theo dõi
Teodora Baluta
Teodora Baluta
Georgia Institute of Technology
Email được xác minh tại gatech.edu - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Quantitative verification of neural networks and its security applications
T Baluta, S Shen, S Shinde, KS Meel, P Saxena
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
1312019
Scalable quantitative verification for deep neural networks
T Baluta, ZL Chua, KS Meel, P Saxena
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
702021
One Engine To Serve'em All: Inferring Taint Rules Without Architectural Semantics
ZL Chua, Y Wang, T Baluta, P Saxena, Z Liang, P Su
Network and Distributed System Security (NDSS) Symposium, 2019
442019
LPGNet: Link Private Graph Networks for Node Classification
A Kolluri, T Baluta, B Hooi, P Saxena
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
282022
Membership Inference Attacks and Generalization: A Causal Perspective
T Baluta, S Shen, S Hitarth, S Tople, P Saxena
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
222022
Modeling the effects of insider threats on cybersecurity of complex systems
T Baluta, L Ramapantulu, YM Teo, EC Chang
2017 Winter Simulation Conference (WSC), 4360-4371, 2017
132017
Private Hierarchical Clustering in Federated Networks
A Kolluri, T Baluta, P Saxena
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
122021
User-Customizable Transpilation of Scripting Languages
B Wang, A Kolluri, I Nikolić, T Baluta, P Saxena
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 201-229, 2023
32023
Unforgeability in Stochastic Gradient Descent
T Baluta, I Nikolic, R Jain, D Aggarwal, P Saxena
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
22023
Unlearning in-vs. out-of-distribution data in LLMs under gradient-based methods
T Baluta, GK Dziugaite, P Lamblin, F Pedregosa, D Tarlow
Neurips Safe Generative AI Workshop 2024, 2024
12024
SynGuar: guaranteeing generalization in programming by example
B Wang, T Baluta, A Kolluri, P Saxena
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
12021
Model Provenance Testing for Large Language Models
I Nikolic, T Baluta, P Saxena
arXiv preprint arXiv:2502.00706, 2025
2025
RIGOROUS SECURITY ANALYSIS OF MACHINE LEARNING SYSTEMS
T BALUTA
2024
Explaining SAT Solving Using Causal Reasoning
J Yang, A Shaw, T Baluta, M Soos, KS Meel
26th International Conference on Theory and Applications of Satisfiability …, 2023
2023
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–14