Följ
Teodora Baluta
Teodora Baluta
Verifierad e-postadress på comp.nus.edu.sg - Startsida
Titel
Citeras av
Citeras av
År
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
1042019
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
512021
One Engine To Serve'em All: Inferring Taint Rules Without Architectural Semantics
ZL Chua, Y Wang, T Baluta, P Saxena, Z Liang, P Su
NDSS, 2019
392019
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
152022
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
102022
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
102017
Private Hierarchical Clustering in Federated Networks
A Kolluri, T Baluta, P Saxena
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
82021
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
22023
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
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
2023
Explaining SAT Solving Using Causal Reasoning
J Yang, A Shaw, T Baluta, M Soos, KS Meel
arXiv preprint arXiv:2306.06294, 2023
2023
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–11