Theses
Theses developed within CSecLab, listed in reverse chronological order.
Antonio Ruggia, Luigi Sciolla. Demystifying Anti-Repackaging on Android. 2020
Supervisors: Luca Verderame, Alessio Merlo
Publications
Francesco Pagano, Giovanni Bottino. HideDroid: App-level Runtime Data Anonymization on Mobile. 2020
Supervisors: Davide Caputo, Alessio Merlo
Federico Lucini. Appregator: a Large-Scale Platform for Mobile Security Analysis. 2020
Supervisors: Luca Verderame, Alessio Merlo
Publications
Mattia Parrinello. Analysis of user profiling libraries on Android. 2019
Supervisors: Davide Caputo, Alessio Merlo
Nicolas Dejon. A framework for the automatic security analysis of IoT device applications. 2019
Supervisors: Luca Verderame, Alessio Merlo
Publications
Fabio Parodi. Appiotte: a framework for integrating mobile and IoT Android-based app security analysis. 2019
Supervisors: Luca Verderame, Alessio Merlo
Publications
Sara Martino, Luca Perazzo. CAPDroid: Combining Analysis Processes for Android. 2018
Supervisors: Luca Verderame, Alessio Merlo
Davide Caputo. FCDroid: a tool for identifying frame confusion in mobile apps. 2018
Supervisors: Luca Verderame, Alessio Merlo
Publications
Loris Piana. Provision of web security training services through per-user sandboxing. 2017
Supervisors: Alessio Merlo
Gianluca Barbera. Building behavioural models for the security analysis of iOS applications. 2017
Supervisors: Alessio Merlo, Luca Verderame
Luca Lorrai. TEA - Enabling THCE on Android devices. 2016
Supervisors: Alessio Merlo, Luca Verderame
Publications
Hamidreza Aria. Android Malware Detection Using Network Behavior Analysis And Machine Learning Classifiers. 2017
Supervisors: Gabriele Costa
Hossein Ghodrati. A Framework for Designing Attack Strategies in Cyber Range Scenarios. 2017
Supervisors: Gabriele Costa
Giulio Puri. Dynamic verification of access permissions in an extension of the Android Security Framework. 2014
Supervisors: Alessandro Armando, Gabriele Costa, Alessio Merlo
Publications
Marco Malvasio. Development of a framework for Symbolic Partial Model Checking. 2014
Supervisors: Alessandro Armando, Gabriele Costa, Alessio Merlo
Publications
Paolo Macco. Certifying Android devicesin BYOD environments. 2015
Supervisors: Giovanni Lagorio, Alessio Merlo
Publications
Luca Lorrai. TEA: Enabling THCE on Android devices. 2016
Supervisors: Alessio Merlo
Publications
Gabriel Claudiu Georgiu. RiskInDroid: Risk Analysis for Android applications. 2016
Supervisors: Alessio Merlo
Publications
Paolo Fontanelli. Energy-Aware Security: Tools and Analytic models to estimate energetic consumption in the Android operating systems. 2014
Supervisors: Alessio Merlo, Mauro Migliardi
Publications
Diego Raso, Elena Spadacini. Energy Optimisation Strategies through Intrusion Prevention Systems. 2014
Supervisors: Alessio Merlo, Mauro Migliardi
Publications
Gabriele De Maglie, Fabio Tollini. A Centralized Approach for the Management of Mobile Code Security Policies. 2013
Supervisors: Alessandro Armando, Gabriele Costa, Alessio Merlo
Daniele Fiori, Fabio Brizzolara. Inlined Reference Monitor for Android Platforms. 2013
Supervisors: Alessandro Armando, Gabriele Costa, Alessio Merlo
Luca Roverelli, Gabriele Zereik, Nicolò Zereik. EveC: an object-oriented programming language for efficient computation. 2013
Supervisors: Alessio Merlo, Mauro Migliardi
Monica Curti, Simone Schiappacasse. Energy-Aware Security: tools and analytic models for energy consumption in the Android OS. 2013
Supervisors: Alessio Merlo, Mauro Migliardi
Publications
Luca Verderame. Security Analysis of the Android Operating System. 2012
Supervisors: Alessandro Armando, Alessio Merlo
Publications