Artiklar med krav på offentlig åtkomst - Suman JanaLäs mer
Tillgängliga någonstans: 40
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
K Pei, Y Cao, J Yang, S Jana
Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP …, 2017
Krav: US National Science Foundation, US Department of Defense
DeepTest: Automated testing of deep-neural-network-driven autonomous cars
Y Tian, K Pei, S Jana, B Ray
40th International Conference on Software Engineering (ICSE), 2018
Krav: US National Science Foundation, US Department of Defense
Certified robustness to adversarial examples with differential privacy
M Lecuyer, V Atlidakis, R Geambasu, D Hsu, S Jana
2019 IEEE symposium on security and privacy (SP), 656-672, 2019
Krav: US National Science Foundation, US Department of Defense
Formal Security Analysis of Neural Networks using Symbolic Intervals
S Wang, K Pei, J Whitehouse, J Yang, S Jana
27th USENIX Security Symposium (USENIX Security 18), 2018
Krav: US National Science Foundation, US Department of Defense
Efficient formal safety analysis of neural networks
S Wang, K Pei, J Whitehouse, J Yang, S Jana
NeuRIPS 2018, 2018
Krav: US National Science Foundation, US Department of Defense
NEUZZ: Efficient Fuzzing with Neural Program Smoothing
D She, K Pei, D Epstein, J Yang, B Ray, S Jana
Proceedings of the 40th IEEE Symposium on Security & Privacy, 2019
Krav: US National Science Foundation, US Department of Defense
Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification
S Wang, H Zhang, K Xu, X Lin, S Jana, CJ Hsieh, JZ Kolter
Advances in Neural Information Processing Systems 34, 29909-29921, 2021
Krav: US National Science Foundation, US Department of Defense
SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities
T Petsios, J Zhao, AD Keromytis, S Jana
Proceedings of the 2017 ACM conference on Computer and communications security, 2017
Krav: US National Science Foundation, US Department of Defense
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
C Brubaker, S Jana, B Ray, S Khurshid, V Shmatikov
IEEE Symposium on Security and Privacy 2014, 2014
Krav: US National Institutes of Health
Hydra: Pruning adversarially robust neural networks
V Sehwag, S Wang, P Mittal, S Jana
Advances in Neural Information Processing Systems 33, 19655-19666, 2020
Krav: US National Science Foundation, US Department of Defense
MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation
S Pailoor, A Aday, S Jana
27th USENIX Security Symposium (USENIX Security 18), 2018
Krav: US National Science Foundation, US Department of Defense
Nezha: Efficient domain-independent differential testing
T Petsios, A Tang, S Stolfo, AD Keromytis, S Jana
2017 IEEE Symposium on security and privacy (SP), 615-632, 2017
Krav: US National Science Foundation, US Department of Defense
Breaking and Fixing Origin-Based Access Control in Hybrid Web/Mobile Application Frameworks
M Georgiev, S Jana, V Shmatikov
Network and Distributed System Security (NDSS) Symposium 2014, 2014
Krav: US National Institutes of Health
General cutting planes for bound-propagation-based neural network verification
H Zhang, S Wang, K Xu, L Li, B Li, S Jana, CJ Hsieh, JZ Kolter
Advances in neural information processing systems 35, 1656-1670, 2022
Krav: US National Science Foundation
HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations
S Sivakorn, G Argyros, K Pei, AD Keromytis, S Jana
Proceedings of the 38th IEEE Symposium on Security & Privacy,(San Jose, CA), 2017
Krav: US National Science Foundation
On training robust {PDF} malware classifiers
Y Chen, S Wang, D She, S Jana
29th USENIX Security Symposium (USENIX Security 20), 2343-2360, 2020
Krav: US National Science Foundation, US Department of Defense
Eternal sunshine of the spotless machine: Protecting privacy with ephemeral channels
AM Dunn, MZ Lee, S Jana, S Kim, M Silberstein, Y Xu, V Shmatikov, ...
10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012
Krav: US National Institutes of Health
MTFuzz: fuzzing with a multi-task neural network
D She, R Krishna, L Yan, S Jana, B Ray
Proceedings of the 28th ACM joint meeting on European software engineering …, 2020
Krav: US National Science Foundation, US Department of Defense
Neutaint: Efficient dynamic taint analysis with neural networks
D She, Y Chen, A Shah, B Ray, S Jana
2020 IEEE Symposium on Security and Privacy (SP), 1527-1543, 2020
Krav: US National Science Foundation, US Department of Defense
Ensuring fairness beyond the training data
D Mandal, S Deng, S Jana, J Wing, DJ Hsu
Advances in neural information processing systems 33, 18445-18456, 2020
Krav: US National Science Foundation
Publikations- och finansieringsuppgifter tas fram automatiskt av ett datorprogram.