Follow
Fuyuan Zhang
Fuyuan Zhang
Verified email at mpi-sws.org
Title
Cited by
Cited by
Year
Deepgauge: Multi-granularity testing criteria for deep learning systems
L Ma, F Juefei-Xu, F Zhang, J Sun, M Xue, B Li, C Chen, T Su, L Li, Y Liu, ...
Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018
6802018
Deepmutation: Mutation testing of deep learning systems
L Ma, F Zhang, J Sun, M Xue, B Li, F Juefei-Xu, C Xie, L Li, Y Liu, J Zhao, ...
2018 IEEE 29th international symposium on software reliability engineering …, 2018
3722018
Combinatorial testing for deep learning systems
L Ma, F Zhang, M Xue, B Li, Y Liu, J Zhao, Y Wang
arXiv preprint arXiv:1806.07723, 2018
245*2018
Perfectly parallel fairness certification of neural networks
C Urban, M Christakis, V Wüstholz, F Zhang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
582020
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
MN Mansur, M Christakis, V Wüstholz, F Zhang
Proceedings of the 28th ACM joint meeting on European software engineering …, 2020
472020
Mechanized network origin and path authenticity proofs
F Zhang, L Jia, C Basescu, THJ Kim, YC Hu, A Perrig
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
362014
Deepsearch: A simple and effective blackbox attack for deep neural networks
F Zhang, SP Chowdhury, M Christakis
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
35*2020
Refinement-based specification and security analysis of separation kernels
Y Zhao, D Sanán, F Zhang, Y Liu
IEEE Transactions on Dependable and Secure Computing 16 (1), 127-141, 2017
292017
Finding and understanding bugs in software model checkers
C Zhang, T Su, Y Yan, F Zhang, G Pu, Z Su
Proceedings of the 2019 27th ACM joint meeting on European software …, 2019
252019
Reasoning about information flow security of separation kernels with channel-based communication
Y Zhao, D Sanán, F Zhang, Y Liu
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
252016
Csimpl: A rely-guarantee-based framework for verifying concurrent programs
D Sanán, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
242017
Fully automated differential fault analysis on software implementations of block ciphers
X Hou, J Breier, F Zhang, Y Liu
Cryptology ePrint Archive, 2018
172018
Formal specification and analysis of partitioning operating systems by integrating ontology and refinement
Y Zhao, D Sanán, F Zhang, Y Liu
IEEE Transactions on Industrial Informatics 12 (4), 1321-1331, 2016
162016
A security modeling and verification method of embedded software based on Z and MARTE
X Hu, Y Zhuang, F Zhang
Computers & Security 88, 101615, 2020
122020
High-assurance separation kernels: a survey on formal methods
Y Zhao, D Sanán, F Zhang, Y Liu
arXiv preprint arXiv:1701.01535, 2017
122017
A parametric rely-guarantee reasoning framework for concurrent reactive systems
Y Zhao, D Sanán, F Zhang, Y Liu
International Symposium on Formal Methods, 161-178, 2019
92019
Compositional reasoning for shared-variable concurrent programs
F Zhang, Y Zhao, D Sanán, Y Liu, A Tiu, SW Lin, J Sun
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
92018
A security type verifier for smart contracts
X Hu, Y Zhuang, SW Lin, F Zhang, S Kan, Z Cao
Computers & Security 108, 102343, 2021
82021
FiLM: a runtime monitoring tool for distributed systems
F Zhang, Z Qi, H Guan, X Liu, M Yang, Z Zhang
2009 Third IEEE International Conference on Secure Software Integration and …, 2009
82009
Research on worm’s propagation and defense model in different P2P networks
GAO Chang-xi, Z Fu-yuan, XIN Yang, NIU Xin-xin, Y Yi-xian
Journal of Beijing University of Posts and Telecommunications 29 (s2), 49, 2006
82006
The system can't perform the operation now. Try again later.
Articles 1–20