SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo. SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. In Christel Baier, Cesare Tinelli, editors, Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Volume 9035 of Lecture Notes in Computer Science, pages 225-230, Springer, 2015. [doi]

This author has not been identified. Look up 'Alessandro Armando' in GoogleThis author has not been identified. Look up 'Gianluca Bocci' in GoogleThis author has not been identified. Look up 'Giantonio Chiarelli' in GoogleThis author has not been identified. Look up 'Gabriele Costa' in GoogleThis author has not been identified. Look up 'Gabriele De Maglie' in GoogleThis author has not been identified. Look up 'Rocco Mammoliti' in GoogleThis author has not been identified. Look up 'Alessio Merlo' in Google

runs on WebDSL