Teodora Baluta

According to our database, Teodora Baluta authored at least 12 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

User-Customizable Transpilation of Scripting Languages.

Bo Wang, Aashish Kolluri, Ivica Nikolic, Teodora Baluta, Prateek Saxena

Proc. ACM Program. Lang., April, 2023

User-customizable Transpilation of Scripting Languages.

Bo Wang, Aashish Kullori, Ivica Nikolic, Teodora Baluta, Prateek Saxena

CoRR, 2023

Explaining SAT Solving Using Causal Reasoning.

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Unforgeability in Stochastic Gradient Descent.

Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, Prateek Saxena

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

LPGNet: Link Private Graph Networks for Node Classification.

Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Membership Inference Attacks and Generalization: A Causal Perspective.

Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

SynGuar: guaranteeing generalization in programming by example.

Bo Wang, Teodora Baluta, Aashish Kolluri, Prateek Saxena

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Scalable Quantitative Verification For Deep Neural Networks.

Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Private Hierarchical Clustering in Federated Networks.

Aashish Kolluri, Teodora Baluta, Prateek Saxena

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2019

One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics.

Zheng Leong Chua, Yanhao Wang, Teodora Baluta, Prateek Saxena, Zhenkai Liang, Purui Su

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Quantitative Verification of Neural Networks and Its Security Applications.

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017

Modeling the effects of insider threats on cybersecurity of complex systems.

Teodora Baluta, Lavanya Ramapantulu, Yong Meng Teo, Ee-Chien Chang

Proceedings of the 2017 Winter Simulation Conference, 2017