Wei Chen
Wei Chen
Dirección de correo verificada de inf.ed.ac.uk
Título
Citado por
Citado por
Año
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
182016
Abstract interpretation from Büchi automata
M Hofmann, W Chen
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
162014
The algorithmics of solitaire-like games
R Backhouse, W Chen, JF Ferreira
International Conference on Mathematics of Program Construction, 1-18, 2010
52010
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
42016
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
42016
The algorithmics of solitaire-like games
R Backhouse, W Chen, JF Ferreira
International Conference on Mathematics of Program Construction, 1-18, 2010
42010
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
B\" uchi Types for Infinite Traces and Liveness
M Hofmann, W Chen
arXiv preprint arXiv:1401.5107, 2014
22014
Towards Intelligible Robust Anomaly Detection by Learning Interpretable Behavioural Models
G Grov, M Sabate, W Chen, D Aspinall
NISK Journal 12, 2019
2019
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13