Teodora Baluta

23 papers A* 7A 1Misc 1Journal 12Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Model Provenance Testing for Large Language Models. CoRR Ivica Nikolic, Teodora Baluta, Prateek Saxena
2025	J	`jnl`	Watermark Robustness and Radioactivity May Be at Odds in Federated Learning. CoRR Leixu Huang, Zedian Shao, Teodora Baluta
2024	J	`jnl`	Unlearning in- vs. out-of-distribution data in LLMs under gradient-based method. CoRR Teodora Baluta, Pascal Lamblin, Daniel Tarlow, Fabian Pedregosa, Gintare Karolina Dziugaite
2023	A	`conf`	Explaining SAT Solving Using Causal Reasoning. SAT Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2023	J	`jnl`	Explaining SAT Solving Using Causal Reasoning. CoRR Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
2023	A*	`conf`	Unforgeability in Stochastic Gradient Descent. CCS Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, Prateek Saxena
2023	J	`jnl`	User-Customizable Transpilation of Scripting Languages. Proc. ACM Program. Lang. Bo Wang, Aashish Kolluri, Ivica Nikolic, Teodora Baluta, Prateek Saxena
2023	J	`jnl`	User-customizable Transpilation of Scripting Languages. CoRR Bo Wang, Aashish Kullori, Ivica Nikolic, Teodora Baluta, Prateek Saxena
2022	A*	`conf`	LPGNet: Link Private Graph Networks for Node Classification. CCS Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
2022	J	`jnl`	LPGNet: Link Private Graph Networks for Node Classification. CoRR Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena
2022	A*	`conf`	Membership Inference Attacks and Generalization: A Causal Perspective. CCS Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
2022	J	`jnl`	Membership Inference Attacks and Generalization: A Causal Perspective. CoRR Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena
2021	A*	`conf`	Private Hierarchical Clustering in Federated Networks. CCS Aashish Kolluri, Teodora Baluta, Prateek Saxena
2021	J	`jnl`	Private Hierarchical Clustering in Federated Networks. CoRR Aashish Kolluri, Teodora Baluta, Prateek Saxena
2021	A*	`conf`	Scalable Quantitative Verification For Deep Neural Networks. ICSE Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2021	—	`conf`	Scalable Quantitative Verification for Deep Neural Networks. ICSE (Companion Volume) Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2021	J	`jnl`	SynGuar: Guaranteeing Generalization in Programming by Example. CoRR Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
2021	—	`conf`	SynGuar: guaranteeing generalization in programming by example. ESEC/SIGSOFT FSE Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena
2020	J	`jnl`	Scalable Quantitative Verification For Deep Neural Networks. CoRR Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2019	A*	`conf`	One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics. NDSS Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su
2019	J	`jnl`	Quantitative Verification of Neural Networks And its Security Applications. CoRR Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2019	A*	`conf`	Quantitative Verification of Neural Networks and Its Security Applications. CCS Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2017	Misc	`conf`	Modeling the effects of insider threats on cybersecurity of complex systems. WSC Teodora Baluta, Lavanya Ramapantulu, Yong Meng Teo, Ee-Chien Chang