Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

11 résultats
Page :
triés par
Image document

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android

 Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon
[Research Report] hal-00700074, SnT. 2012
Rapport hal-00700074v2
Image document

Improving privacy on android smartphones through in-vivo bytecode instrumentation

 Alexandre Bartel , Jacques Klein , Martin Monperrus , Kevin Allix , Yves Le Traon
[Research Report] arXiv:1208.4536, University of Luxembourg. 2012
Rapport hal-00700319v1
Image document

Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot

 Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon
ACM SIGPLAN International Workshop on State Of the Art in Java Program Analysis, Jun 2012, Beijing, China. pp.27-38, ⟨10.1145/2259051.2259056⟩
Communication dans un congrès hal-00697421v2
Image document

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android

 Alexandre Bartel , Jacques Klein , Martin Monperrus , Yves Le Traon
IEEE Transactions on Software Engineering, 2014, 40, pp.617-632. ⟨10.1109/TSE.2014.2322867⟩
Article dans une revue hal-01055656v1
Image document

Model Driven Mutation Applied to Adaptative Systems Testing

 Alexandre Bartel , Benoit Baudry , Freddy Munoz , Jacques Klein , Tejeddine Mouelhi , et al.
IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp.6
Communication dans un congrès hal-00700444v1
Image document

ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis

 Li Li , Alexandre Bartel , Tegawendé F. Bissyandé , Jacques Klein , Yves Le Traon
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.513-527, ⟨10.1007/978-3-319-18467-8_34⟩
Communication dans un congrès hal-01345142v1
Image document

Musti: Dynamic Prevention of Invalid Object Initialization Attacks

 Alexandre Bartel , Jacques Klein , Yves Le Traon
IEEE Transactions on Information Forensics and Security, 2019, 14 (8), pp.2167-2178. ⟨10.1109/TIFS.2019.2894356⟩
Article dans une revue hal-03751983v1
Image document

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android

 Alexandre Bartel , Jacques Klein , Yves Le Traon , Martin Monperrus
IEEE/ACM International Conference On Automated Software Engineering, Sep 2012, Essen, Germany. pp.274-277, ⟨10.1145/2351676.2351722⟩
Communication dans un congrès hal-00726196v1
Image document

Analyzing the Gadgets Towards a Metric to Measure Gadget Quality

 Andreas Follner , Alexandre Bartel , Eric Bodden
International Symposium on Engineering Secure Software and Systems, Apr 2016, London, United Kingdom
Communication dans un congrès hal-01321480v1
Image document

I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

 Li Li , Alexandre Bartel , Jacques Klein , Yves Le Traon , Steven Arzt , et al.
2014
Rapport hal-00985490v1
Image document

Automatically Exploiting Potential Component Leaks in Android Applications

 Li Li , Alexandre Bartel , Jacques Klein , Yves Le Traon
the 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2014), Sep 2014, China. pp.10
Communication dans un congrès hal-01055793v1
Page :