Teodora Baluta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2017–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CCS | Unforgeability in Stochastic Gradient Descent. | Teodora Baluta, Ivica Nikolic, Racchit Jain, Divesh Aggarwal, Prateek Saxena |
| 2023 | SAT | Explaining SAT Solving Using Causal Reasoning. | Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel |
| 2022 | CCS | Membership Inference Attacks and Generalization: A Causal Perspective. | Teodora Baluta, Shiqi Shen, S. Hitarth, Shruti Tople, Prateek Saxena |
| 2022 | CCS | LPGNet: Link Private Graph Networks for Node Classification. | Aashish Kolluri, Teodora Baluta, Bryan Hooi, Prateek Saxena |
| 2021 | CCS | Private Hierarchical Clustering in Federated Networks. | Aashish Kolluri, Teodora Baluta, Prateek Saxena |
| 2021 | ICSE | Scalable Quantitative Verification For Deep Neural Networks. | Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena |
| 2021 | ICSE | Scalable Quantitative Verification for Deep Neural Networks. | Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena |
| 2019 | CCS | Quantitative Verification of Neural Networks and Its Security Applications. | Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena |
| 2019 | NDSS | 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 |
| 2017 | WSC | Modeling the effects of insider threats on cybersecurity of complex systems. | Teodora Baluta, Lavanya Ramapantulu, Yong Meng Teo, Ee-Chien Chang |