ติดตาม
Suman Jana
Suman Jana
Associate Professor of Computer Science, Columbia University
ยืนยันอีเมลแล้วที่ cs.columbia.edu - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
16992018
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
16982017
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
11482019
The most dangerous code in the world: validating SSL certificates in non-browser software
M Georgiev, S Iyengar, S Jana, R Anubhai, D Boneh, V Shmatikov
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
6852012
On the effectiveness of secret key extraction from wireless signal strength in real environments
S Jana, SN Premnath, M Clark, SK Kasera, N Patwari, SV Krishnamurthy
Proceedings of the 15th annual international conference on Mobile computing …, 2009
6742009
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
5842018
Efficient formal safety analysis of neural networks
S Wang, K Pei, J Whitehouse, J Yang, S Jana
NeuRIPS 2018, 2018
5242018
High-rate uncorrelated bit extraction for shared secret key generation from channel measurements
N Patwari, J Croft, S Jana, SK Kasera
IEEE Transactions on Mobile Computing 9 (1), 17-30, 2009
5112009
On fast and accurate detection of unauthorized wireless access points using clock skews
S Jana, SK Kasera
Proceedings of the 14th ACM international conference on Mobile computing and …, 2008
4252008
Secret key extraction from wireless signal strength in real environments
SN Premnath, S Jana, J Croft, PL Gowda, M Clark, SK Kasera, N Patwari, ...
IEEE Transactions on mobile Computing 12 (5), 917-930, 2012
3832012
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
3082019
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
2842021
Trustllm: Trustworthiness in large language models
L Sun, Y Huang, H Wang, S Wu, Q Zhang, C Gao, Y Huang, W Lyu, ...
arXiv preprint arXiv:2401.05561 3, 2024
2582024
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
2452017
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
2422014
Hydra: Pruning adversarially robust neural networks
V Sehwag, S Wang, P Mittal, S Jana
Advances in Neural Information Processing Systems 33, 19655-19666, 2020
2352020
Memento: Learning Secrets from Process Footprints
S Jana, V Shmatikov
IEEE Symposium on Security and Privacy 2012, 2012
2252012
Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers
K Xu, H Zhang, S Wang, Y Wang, S Jana, X Lin, CJ Hsieh
arXiv preprint arXiv:2011.13824, 2020
2212020
Password Managers: Attacks and Defenses
D Silver, S Jana, E Chen, C Jackson, D Boneh
23rd USENIX Security Symposium (USENIX Security '14), 2014
2092014
A Scanner Darkly: Protecting User Privacy From Perceptual Applications
S Jana, A Narayanan, V Shmatikov
IEEE Symposium on Security and Privacy 2013, 2013
2012013
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20