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 database¹, Wei Chen authored at least 10 papers between 2013 and 2022.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Checking Contact Tracing App Implementations with Bespoke Static Analysis.

[BibT_eX]

[DOI]

SN Comput. Sci., 2022

2021

Checking Contact Tracing App Implementations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2018

2016

More Semantics More Robust: Improving Android Malware Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2016

On Robust Malware Classifiers by Verifying Unwanted Behaviours.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

A text-mining approach to explain unwanted behaviours.

[BibT_eX]

[DOI]

Proceedings of the 9th European Workshop on System Security, 2016

Explaining Unwanted Behaviours in Context.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

2014

Büchi Types for Infinite Traces and Liveness.

[BibT_eX]

[DOI]

Martin Hofmann

Wei Chen

CoRR, 2014

Abstract interpretation from Büchi automata.

[BibT_eX]

[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

2013

The algorithmics of solitaire-like games.

[BibT_eX]

[DOI]

Roland Carl Backhouse

Wei Chen

João F. Ferreira

Sci. Comput. Program., 2013

Wei Chen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...