What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Tao Xie
Google Scholar
17
publications in security and cryptology related venues
Year
Venue
Title
2025
conf/ndss
Careful About What App Promotion Ads Recommend! Detecting and Explaining Malware Promotion via App Promotion Graph.
Shang Ma
Chaoran Chen
Shao Yang
Shifu Hou
Toby Jia-Jun Li
Xusheng Xiao
Tao Xie
Yanfang Ye
2023
conf/sp
SoK: Certified Robustness for Deep Neural Networks.
Linyi Li
Tao Xie
Bo Li
2021
conf/ccs
TSS: Transformation-Specific Smoothing for Robustness Certification.
Linyi Li
Maurice Weber
Xiaojun Xu
Luka Rimanic
Bhavya Kailkhura
Tao Xie
Ce Zhang
Bo Li
2019
conf/uss
PolicyLint: Investigating Internal Privacy Policy Contradictions on Google Play.
Benjamin Andow
Samin Yaseer Mahmud
Wenyu Wang
Justin Whitaker
William Enck
Bradley Reaves
Kapil Singh
Tao Xie
2019
conf/dsn
Detecting Failures of Neural Machine Translation in the Absence of Reference Translations.
Wenyu Wang
Wujie Zheng
Dian Liu
Changrong Zhang
Qinsong Zeng
Yuetang Deng
Wei Yang
Pinjia He
Tao Xie
2018
conf/dsn
PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.
Angello Astorga
Siwakorn Srisakaokul
Xusheng Xiao
Tao Xie
2017
conf/acsac
Malware Detection in Adversarial Settings: Exploiting Feature Evolutions and Confusions in Android Apps.
Wei Yang
Deguang Kong
Tao Xie
Carl A. Gunter
2017
conf/wisec
UiRef: analysis of sensitive user inputs in Android applications.
Benjamin Andow
Akhil Acharya
Dengfeng Li
William Enck
Kapil Singh
Tao Xie
2016
conf/sp
A Study of Grayware on Google Play.
Benjamin Andow
Adwait Nadkarni
Blake Bassett
William Enck
Tao Xie
2014
conf/ccs
Tutorial: Text Analytics for Security.
William Enck
Tao Xie
2014
conf/dsn
Mining Historical Issue Repositories to Heal Large-Scale Online Service Systems.
Rui Ding
Qiang Fu
Jian-Guang Lou
Qingwei Lin
Dongmei Zhang
Tao Xie
2014
conf/acsac
Relation extraction for inferring access control rules from natural language artifacts.
John Slankas
Xusheng Xiao
Laurie A. Williams
Tao Xie
2013
conf/uss
WHYPER: Towards Automating Risk Assessment of Mobile Applications.
Rahul Pandita
Xusheng Xiao
Wei Yang
William Enck
Tao Xie
2012
conf/acsac
XIAO: tuning code clones at hands of engineers in practice.
Yingnong Dang
Dongmei Zhang
Song Ge
Chengyun Chu
Yingjun Qiu
Tao Xie
2009
conf/dsn
Fitness-guided path exploration in dynamic symbolic execution.
Tao Xie
Nikolai Tillmann
Jonathan de Halleux
Wolfram Schulte
2008
conf/acsac
Assessing Quality of Policy Properties in Verification of Access Control Policies.
Evan Martin
JeeHyun Hwang
Tao Xie
Vincent C. Hu
2006
conf/icics
Defining and Measuring Policy Coverage in Testing Access Control Policies.
Evan Martin
Tao Xie
Ting Yu
Coauthors
Adwait Nadkarni
(1)
Akhil Acharya
(1)
Angello Astorga
(1)
Benjamin Andow
(3)
Bhavya Kailkhura
(1)
Blake Bassett
(1)
Bo Li
(2)
Bradley Reaves
(1)
Carl A. Gunter
(1)
Ce Zhang
(1)
Changrong Zhang
(1)
Chaoran Chen
(1)
Chengyun Chu
(1)
Deguang Kong
(1)
Dengfeng Li
(1)
Dian Liu
(1)
Dongmei Zhang
(2)
Evan Martin
(2)
JeeHyun Hwang
(1)
Jian-Guang Lou
(1)
John Slankas
(1)
Jonathan de Halleux
(1)
Justin Whitaker
(1)
Kapil Singh
(2)
Laurie A. Williams
(1)
Linyi Li
(2)
Luka Rimanic
(1)
Maurice Weber
(1)
Nikolai Tillmann
(1)
Pinjia He
(1)
Qiang Fu
(1)
Qingwei Lin
(1)
Qinsong Zeng
(1)
Rahul Pandita
(1)
Rui Ding
(1)
Samin Yaseer Mahmud
(1)
Shang Ma
(1)
Shao Yang
(1)
Shifu Hou
(1)
Siwakorn Srisakaokul
(1)
Song Ge
(1)
Tao Xie
(17)
Ting Yu
(1)
Toby Jia-Jun Li
(1)
Vincent C. Hu
(1)
Wei Yang
(3)
Wenyu Wang
(2)
William Enck
(5)
Wolfram Schulte
(1)
Wujie Zheng
(1)
Xiaojun Xu
(1)
Xusheng Xiao
(4)
Yanfang Ye
(1)
Yingjun Qiu
(1)
Yingnong Dang
(1)
Yuetang Deng
(1)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to