Data vulnerability detection by security testing for Android applications. - Sébastien Salva; Stassia R. Zafimiharisoa (ISSA, 2013)

Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components. - Sébastien Salva; Stassia R. Zafimiharisoa; Patrice Laurençot (SECRYPT, 2013)

Model Inference of Mobile Applications with Dynamic State Abstraction. - Sébastien Salva; Patrice Laurençot; Stassia R. Zafimiharisoa (SNPD (revised selected papers), 2015)

APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities. - Sébastien Salva; Stassia R. Zafimiharisoa (Int. J. Softw. Tools Technol. Transf., 2015)