Wei Chen

11 papers B 2C 1Misc 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Checking Contact Tracing App Implementations with Bespoke Static Analysis.
SN Comput. Sci.
Robert Flood, Sheung Chi Chan, Wei Chen, David Aspinall
2021 C conf
Checking Contact Tracing App Implementations.
ICISSP
Robert Flood, Sheung Shi Chan, Wei Chen, David Aspinall
2018 Misc conf
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.
SEC
Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
2016 — conf
A text-mining approach to explain unwanted behaviours.
EUROSEC
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016 — conf
Explaining Unwanted Behaviours in Context.
IMPS@ESSoS
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016 — conf
More Semantics More Robust: Improving Android Malware Classifiers.
WISEC
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016 B conf
On Robust Malware Classifiers by Verifying Unwanted Behaviours.
IFM
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2014 — conf
Abstract interpretation from Büchi automata.
CSL-LICS
Martin Hofmann, Wei Chen
2014 J jnl
Büchi Types for Infinite Traces and Liveness.
CoRR
Martin Hofmann, Wei Chen
2013 J jnl
The algorithmics of solitaire-like games.
Sci. Comput. Program.
Roland Carl Backhouse, Wei Chen, João F. Ferreira
2010 B conf
The Algorithmics of Solitaire-Like Games.
MPC
Roland Carl Backhouse, Wei Chen, João F. Ferreira