Shiqi Wang

Cited by

	All	Since 2018
Citations	1592	1572
h-index	12	12
i10-index	13	13

580

290

145

435

201720182019202020212022202313 65 182 317 405 563 36

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Suman JanaAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Junfeng YangAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Kexin PeiPh.D., Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Yizheng ChenUC BerkeleyVerified email at berkeley.edu
Yunhan JiaByteDanceVerified email at bytedance.com
Huan ZhangCMUVerified email at andrew.cmu.edu
Kaidi XuAssistant Professor, Drexel UniversityVerified email at northeastern.edu
Cho-Jui HsiehUniversity of California, Los AngelesVerified email at cs.ucla.edu
Zico KolterCarnegie Mellon UniversityVerified email at cs.cmu.edu
Xue LinNortheastern UniversityVerified email at northeastern.edu
Vikash SehwagPrinceton UniversityVerified email at princeton.edu
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Alfred ChenUniversity of California, IrvineVerified email at uci.edu
Earlence FernandesAssistant Professor, UC San DiegoVerified email at ucsd.edu
Atul PrakashProfessor of EECS, University of MichiganVerified email at umich.edu
Z. Morley Mao (茅斫青)University of MichiganVerified email at umich.edu
Lawrence CarinProvost, King Abdullah University of Science & Technology (KAUST)Verified email at kaust.edu.sa
David WagnerProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Xiaojing LiaoIndiana University BloomingtonVerified email at indiana.edu
Baishakhi RayAssociate Professor, Columbia UniversityVerified email at cs.columbia.edu

Shiqi Wang

Applied Scientist, Amazon AWS AI Lab

Verified email at cs.columbia.edu - Homepage

machine learning adversarial robustness security Trustworthy AI security of machine learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal security analysis of neural networks using symbolic intervals S Wang, K Pei, J Whitehouse, J Yang, S Jana USENIX Security 2018, 2018	384	2018
Efficient formal safety analysis of neural networks S Wang, K Pei, J Whitehouse, J Yang, S Jana NeurIPS 2018, 2018	340	2018
ContexloT: Towards Providing Contextual Integrity to Appified IoT Platforms. YJ Jia, QA Chen, S Wang, A Rahmati, E Fernandes, ZM Mao, A Prakash, ... NDSS 2017, 2017	333	2017
Hydra: Pruning adversarially robust neural networks V Sehwag, S Wang, P Mittal, S Jana NeurIPS 2020, 2020	122	2020
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 NeurIPS 2021, 2021	103	2021
Mixtrain: Scalable training of verifiably robust neural networks S Wang, Y Chen, A Abdou, S Jana arXiv preprint arXiv:1811.02625, 2018	88	2018
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 ICLR 2021, 2021	56	2021
On training robust {PDF} malware classifiers Y Chen, S Wang, D She, S Jana USENIX Security 2020, 2020	49	2020
Towards understanding fast adversarial training B Li, S Wang, S Jana, L Carin arXiv preprint arXiv:2006.03089, 2020	34	2020
Towards compact and robust deep neural networks V Sehwag, S Wang, P Mittal, S Jana arXiv preprint arXiv:1906.06110, 2019	26	2019
Learning Security Classifiers with Verified Global Robustness Properties Y Chen, S Wang, Y Qin, X Liao, S Jana, D Wagner CCS 2021, 2021	12	2021
Towards practical lottery ticket hypothesis for adversarial training B Li, S Wang, Y Jia, Y Lu, Z Zhong, L Carin, S Jana arXiv preprint arXiv:2003.05733, 2020	12	2020
Enhancing gradient-based attacks with symbolic intervals S Wang, Y Chen, A Abdou, S Jana ICML Workshop on Security and Privacy of Machine Learning, 2019	11	2019
Cost-Aware Robust Tree Ensembles for Security Applications Y Chen, S Wang, W Jiang, A Cidon, S Jana USENIX Security 2021, 2021	8*	2021
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 NeurIPS 2022, 2022	7	2022
Adaptive Verifiable Training Using Pairwise Class Similarity S Wang, K Eykholt, T Lee, J Jang, I Molloy AAAI 2021, 2021	2	2021
Multi-lingual Evaluation of Code Generation Models B Athiwaratkun, SK Gouda, Z Wang, X Li, Y Tian, M Tan, WU Ahmad, ... arXiv preprint arXiv:2210.14868, 2022	1	2022
Efficient Neural Network Verification Using Branch and Bound S Wang Columbia University, 2022	1	2022
Bringing engineering rigor to Deep Learning K Pei, S Wang, Y Tian, J Whitehouse, C Vondrick, Y Cao, B Ray, S Jana, ... ACM SIGOPS Operating Systems Review 53 (1), 59-67, 2019	1	2019
Defense against impersonating attackers: An efficient RFID mutual authentication protocol based on standard S Wang, L Li, G Chen, T Chen, Z Wang ICICS 2017, 2017	1	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors