Wei Chen
TitleCited byYear
More semantics more robust: Improving android malware classifiers
W Chen, D Aspinall, AD Gordon, C Sutton, I Muttik
Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and …, 2016
132016
Abstract interpretation from Büchi automata
M Hofmann, W Chen
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
132014
The algorithmics of solitaire-like games
R Backhouse, W Chen, JF Ferreira
International Conference on Mathematics of Program Construction, 1-18, 2010
52010
The algorithmics of solitaire-like games
R Backhouse, W Chen, JF Ferreira
International Conference on Mathematics of Program Construction, 1-18, 2010
42010
A Text-Mining Approach to Explain Unwanted Behaviours
W Chen, D Aspinall, AD Gordon, C Sutton, I Muttik
9th European Workshop on System Security, 2016
32016
Formal analysis of Sneak-Peek: a data centre attack and its mitigations
W Chen, Y Lin, V Galpin, V Nigam, M Lee, D Aspinall
IFIP International Conference on ICT Systems Security and Privacy Protection …, 2018
22018
On Robust Malware Classifiers by Verifying Unwanted Behaviours
W Chen, D Aspinall, AD Gordon, C Sutton, I Muttik
12th International Conference on integrated Formal Methods, 2016
22016
B\" uchi Types for Infinite Traces and Liveness
M Hofmann, W Chen
arXiv preprint arXiv:1401.5107, 2014
22014
Explaining Unwanted Behaviours in Context
W Chen, D Aspinall, AD Gordon, C Sutton, I Muttik
Innovations in Mobile Privacy and Security, 2016
2016
Types, Rings, and Games
W Chen
University of Nottingham, UK, 2012
2012
Secure distributed programming with value-dependent types.
Z Li, B Meng, D Wang, W Chen, M Aizatulin, AD Gordon, J Jurjens, ...
Journal of Software Engineering 9 (1), pp: 331-340, 2011
2011
Learning and Verifying Unwanted Behaviours
W Chen, D Aspinall, AD Gordon, C Sutton, I Muttik
Compact Explanations of Why Malware is Bad
W Chen, C Sutton, AD Gordon, D Aspinall, I Muttik, Q Shen
The system can't perform the operation now. Try again later.
Articles 1–13