Travelled to:1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:J.Klein Y.L.Traon D.Octeau M.Monperrus S.Arzt S.Rasthofer E.Bodden P.McDaniel S.Jha M.Dering P.D.McDaniel L.L.0029 C.Fritz L.Li T.F.Bissyandé
Talks about:android (4) analysi (3) compon (2) inter (2) flow (2) app (2) probabilist (1) lifecycl (1) softwar (1) privaci (1)
Person: Alexandre Bartel
DBLP: Bartel:Alexandre
Contributed to:
2015
2014
2012
2016Wrote 4 papers:
- ICSE-v1-2015-LiBBKTARBOM #android #component #detection #named #privacy
- IccTA: Detecting Inter-Component Privacy Leaks in Android Apps (LL, AB, TFB, JK, YLT, SA, SR, EB, DO, PM), pp. 280–291.
- PLDI-2014-ArztRFBBKTOM #analysis #android #named #precise
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (SA, SR, CF, EB, AB, JK, YLT, DO, PM), p. 29.
- ASE-2012-BartelKTM #android #automation
- Automatically securing permission-based software by reducing the attack surface: an application to Android (AB, JK, YLT, MM), pp. 274–277.
- POPL-2016-OcteauJDMB0KT #android #component #modelling #probability #static analysis
- Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis (DO, SJ, MD, PDM, AB, LL0, JK, YLT), pp. 469–484.