We stand with Ukraine  

Wei Chen

Affiliations:
  • Huawei Technologies, Cambridge, UK
  • University of Edinburgh, Laboratory for Foundations of Computer Science, Edinburgh, UK
  • University of Nottingham, School of Computer Science, Nottingham, UK (PhD 2012)


According to our database1, Wei Chen authored at least 10 papers between 2010 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Checking Contact Tracing App Implementations with Bespoke Static Analysis.
[BibTeX]
[DOI]
Robert Flood
,
Sheung Chi Chan
,
Wei Chen
,
David Aspinall
SN Comput. Sci., 2022

2021
Checking Contact Tracing App Implementations.
[BibTeX]
[DOI]
Robert Flood
,
Sheung Shi Chan
,
Wei Chen
,
David Aspinall
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

2018
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.
[BibTeX]
[DOI]
Wei Chen
,
Yuhui Lin
,
Vashti Galpin
,
Vivek Nigam
,
Myungjin Lee
,
David Aspinall
Proceedings of the ICT Systems Security and Privacy Protection, 2018

2016
More Semantics More Robust: Improving Android Malware Classifiers.
[BibTeX]
[DOI]
Wei Chen
,
David Aspinall
,
Andrew D. Gordon
,
Charles Sutton
,
Igor Muttik
Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2016

On Robust Malware Classifiers by Verifying Unwanted Behaviours.
[BibTeX]
[DOI]
Wei Chen
,
David Aspinall
,
Andrew D. Gordon
,
Charles Sutton
,
Igor Muttik
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

A text-mining approach to explain unwanted behaviours.
[BibTeX]
[DOI]
Wei Chen
,
David Aspinall
,
Andrew D. Gordon
,
Charles Sutton
,
Igor Muttik
Proceedings of the 9th European Workshop on System Security, 2016

Explaining Unwanted Behaviours in Context.
[BibTeX]
[DOI]
Wei Chen
,
David Aspinall
,
Andrew D. Gordon
,
Charles Sutton
,
Igor Muttik
Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

2014
Büchi Types for Infinite Traces and Liveness.
[BibTeX]
[DOI]
Martin Hofmann
,
Wei Chen
CoRR, 2014

Abstract interpretation from Büchi automata.
[BibTeX]
[DOI]
Martin Hofmann
,
Wei Chen
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2010
The Algorithmics of Solitaire-Like Games.
[BibTeX]
[DOI]
Roland Carl Backhouse
,
Wei Chen
,
João F. Ferreira
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010


  Loading...