Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Étienne Payet
Static Analysis of Android Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Magic-Sets for Localised Analysis of Java Bytecode
Higher-Order and Symbolic Computation
Related publications
Static Analysis of Ravenscar Programs
ACM SIGAda Ada Letters
Practical Precise Taint-Flow Static Analysis for Android App Sets
Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
Static Analysis of Android Auto Infotainment and On‐board Diagnostics II Apps
Software - Practice and Experience
Software
A Static Analysis of Android Source Code for Lifecycle Development Usage Patterns
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
A Framework for Static Detection of Privacy Leaks in Android Applications
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reverse Engineering of Java Programs Through Static and Dynamic Analysis to Generate Scenario Diagrams
An Android Malware Static Detection Scheme Based on Cloud Security Structure
International Journal of Security and Networks
Electronic Engineering
Risk
Computer Networks
Communications
Reliability
Electrical
Safety
Quality
