Teodora Baluta
Teodora Baluta
Dirección de correo verificada de comp.nus.edu.sg - Página principal
Título
Citado por
Citado por
Año
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
212019
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
52019
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
32017
Scalable Quantitative Verification For Deep Neural Networks
T Baluta, ZL Chua, KS Meel, P Saxena
arXiv preprint arXiv:2002.06864, 2020
12020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4