Mobile App Security Analysis with the MAVeriC Static Analysis Module. - Alessandro Armando; Giantonio Chiarelli; Gabriele Costa 001; Gabriele De Maglie; Rocco Mammoliti; Alessio Merlo (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. - Alessandro Armando; Gianluca Bocci; Giantonio Chiarelli; Gabriele Costa 001; Gabriele De Maglie; Rocco Mammoliti; Alessio Merlo (TACAS, 2015)