Shiqi Wang
Shiqi Wang
Verifierad e-postadress på cs.columbia.edu - Startsida
TitelCiteras avÅr
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
1132017
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), 1599-1614, 2018
602018
Efficient formal safety analysis of neural networks
S Wang, K Pei, J Whitehouse, J Yang, S Jana
Advances in Neural Information Processing Systems, 6367-6377, 2018
342018
Mixtrain: Scalable training of formally robust neural networks
S Wang, Y Chen, A Abdou, S Jana
arXiv preprint arXiv:1811.02625, 2018
222018
Enhancing Gradient-based Attacks with Symbolic Intervals
S Wang, Y Chen, A Abdou, S Jana
arXiv preprint arXiv:1906.02282, 2019
12019
Defense against impersonating attackers: An efficient RFID mutual authentication protocol based on standard
S Wang, L Li, G Chen, T Chen, Z Wang
2017 8th International Conference on Information and Communication Systems …, 2017
12017
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
2019
On Training Robust PDF Malware Classifiers
Y Chen, S Wang, D She, S Jana
arXiv preprint arXiv:1904.03542, 2019
2019
Improved group management protocol of RFID password method
T Chen, L Li, S Wang, G Chen, Z Wang
Proceedings of the Second International Conference on Internet of things …, 2017
2017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–9