Selected Conference Publications

MalScan Malware Detection by Centrality Analysis.
In ASE, 2019

iRuler Detecting inter-rule vulnerabilities in IoT applications.
In CCS, 2019

REINAM Synthesizing high-coverage context-free program input grammars.
In FSE, 2019

SemRegex Synthesizing regex from natural language descriptions.
In EMNLP, 2018

PermuteInvariance Inferring private properties of neural networks.
In CCS, 2018

WCTester Android test generation for industrial mobile applications.
In ASE, 2018

EnMobile Detection of command & control behaviors in mobile applications.
In ICSE, 2018

MRV Generating adversarial samples for mobile-malware detectors.
In ACSAC, 2017

Pluto User data exposure assessment on Android.
In NDSS, 2016

AppContext Analyzing contextual use of permissions in Android applications.
In ICSE, 2015

WHYPER Automated risk assessment for mobile applications.
In USENIX Security, 2013

ORBIT Automated testing for mobile applications.
In FASE, 2013

Recent Publications

More Publications

. MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis. In ASE, 2019.


. Charting the Attack Surface of Trigger-Action IoT Platforms. In CCS, 2019.


. REINAM: Reinforcement Learning for Input-Grammar Inference. In FSE, 2019.


. Detecting Failures of Neural Machine Translation in the Absence of Reference Translations. In DSN, 2019.


. Testing Untestable Neural Machine Translation: An Industrial Case. In ICSE, 2019.


Recent & Upcoming Talks

More Talks

Adversarial-Resilience Assurance for Mobile Security Systems.
Dec 20, 2018
Adversarial Learning and Mobile Security System.
Dec 17, 2018



  • (972) 883-4173
  • ECSS 4.225, 800 W. Campbell Rd., Richardson, TX 75080, USA.
  • email for appointment