BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bartel:Alexandre

Contributed to:

ICSE 20152015
PLDI 20142014
ASE 20122012
POPL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.