A Logical Approach to Deciding Semantic Subtyping
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Gesbert, Nils; Genevès, Pierre; Layaïda, Nabil
- 卷第38卷
- 期第1期
- 印刷ISSN0164-0925
- 文件大小632.00KB
- 发表时间2015-10-16
- DOI10.1145/2812805
- 页码1-31
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - POSTERWang, Zheng · 2015
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - POSTERStraub, Jeremy · 2015
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - CacheBrowserHolowczak, John; Houmansadr, Amir · 2015
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - MalGeneKirat, Dhilung; Vigna, Giovanni · 2015
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - TOPASSchäge, Sven · 2015
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - POSTERYu, Chia-Mu · 2015
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - POSTERLi, Depeng; Shetty, Sachin · 2015
[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - POSTERSinghal, Anoop; Liu, Changwei; Wijesekara, Duminda · 2015
Fingerprinting Android malware familiesXie, Nannan; Wang, Xing; Wang, Wei; Liu, Jiqiang · Frontiers of Computer Science · 2018
Android single sign-on security: Issues, taxonomy and directionsLiu, Xing; Liu, Jiqiang; Wang, Wei; Zhu, Sencun · Future Generation Computer Systems · 2018
Privacy Risk Analysis and Mitigation of Analytics Libraries in the Android EcosystemLiu, Xing; Liu, Jiqiang; Zhu, Sencun; Wang, Wei; Zhang, Xiangliang · IEEE Transactions on Mobile Computing · 2019
Detecting Android malicious apps and categorizing benign apps with ensemble of classifiersWang, Wei; Li, Yuanyuan; Wang, Xing; Liu, Jiqiang; Zhang, Xiangliang · Future Generation Computer Systems · 2017
Characterizing Android apps’ behavior for effective detection of malapps at large scaleWang, Xing; Wang, Wei; He, Yongzhong; Liu, Jiqiang; Han, Zhen; Zhang, Xiangliang · Future Generation Computer Systems · 2017
Exploring Permission-Induced Risk in Android Applications for Malicious Application DetectionWang, Wei; Wang, Xing; Feng, Dawei; Liu, Jiqiang; Han, Zhen; Zhang, Xiangliang · IEEE Transactions on Information Forensics and Security · 2014
[IEEE 2016 IEEE Trustcom/BigDataSE/ISPA - Tianjin, China (2016.8.23-2016.8.26)] 2016 IEEE Trustcom/BigDataSE/ISPA - Anomadroid: Profiling Android Applications' Behaviors for Identifying Unknown MalappsSu, Dan; Wang, Wei; Wang, Xing; Liu, Jiqiang · 2016