Runtime Verification and Enforcement for Android Applications with RV-Droid-Reference-Cited by-同舟云学术

Runtime Verification and Enforcement for Android Applications with RV-Droid

Published:2013 Issue: Volume: Page:88-95
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Falcone Yliès,Currea Sebastian,Jaber Mohamad

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-35632-2_11.pdf

Reference13 articles.

1. Google Inc.: Android developer site (2012), http://developer.android.com

2. Nouveau, T.: The Rise of Android Malware, TG Daily (November 2011)

3. Enck, W., Gilbert, P., Gon Chun, B., Cox, L.P., Jung, J., McDaniel, P., Sheth, A.: TaintDroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In: Arpaci-Dusseau, R.H., Chen, B. (eds.) OSDI, pp. 393–407. USENIX Association (2010)

4. Lecture Notes in Computer Science;A. Bauer,2012

5. Lecture Notes in Computer Science;G. Kiczales,1997

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic testing of runtime enforcers with Test4Enforcers;Journal of Systems and Software;2024-04

2. Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Runtime Verification of Crypto APIs: An Empirical Study;IEEE Transactions on Software Engineering;2023-10-01

4. A Review on Malware Analysis for IoT and Android System;SN Computer Science;2022-12-21

5. Runtime Verification of Kotlin Coroutines;Runtime Verification;2022