Theses

Francesco Stucci. "Real-time Monitoring of Ship's Network Datastream for Anomaly Detection". 2021

Supervisors: Alessio Merlo, Enrico Russo

Giacomo Benedetti. "Enabling Next-generation Cyber Ranges with Mobile Security Components". 2021

Supervisors: Alessio Merlo, Enrico Russo

Francesco Pagano, Giovanni Bottino. "HideDroid: App-level Runtime Data Anonymization on Mobile". 2020

Supervisors: Davide Caputo, Alessio Merlo

Publications

1. Caputo, D., Pagano, F., Bottino, G., Verderame, L., & Merlo, A. (2022). "You Can’t Always Get What You Want: Towards User-Controlled Privacy on Android". IEEE Transactions on Dependable and Secure Computing, 1–1. https://doi.org/10.1109/tdsc.2022.3146020

Marco Raimondi. "Runtime Enforcement of Security Policies for Fog Applications on Cisco IOx". 2020

Supervisors: Alessio Merlo, Enrico Russo

Publications

1. E. Russo, L. Verderame, A. Armando, A. Merlo, "DIOXIN: runtime security policy enforcement of fog applications", Int. J. Grid Util. Comput. 12, 2 (2021), 126–138

Nicolas Dejon. "A framework for the automatic security analysis of IoT device applications". 2019

Supervisors: Luca Verderame, Alessio Merlo

Publications

1. N. Dejon, D. Caputo, L. Verderame, A. Armando, A. Merlo, “Automated Security Analysis of IoT Software Updates”, in IFIP International Conference on Information Security Theory and Practice (2019, December).

Sara Martino, Luca Perazzo. "CAPDroid: Combining Analysis Processes for Android". 2018

Supervisors: Luca Verderame, Alessio Merlo

Loris Piana. "Provision of web security training services through per-user sandboxing". 2017

Supervisors: Alessio Merlo

Luca Lorrai. "TEA - Enabling THCE on Android devices". 2016

Supervisors: Alessio Merlo, Luca Verderame

Publications

1. A. Merlo, L. Lorrai, L. Verderame, “Efficient trusted host-based card emulation on TEE-enabled Android devices”, in Proc. of HPCS 2016.

Hossein Ghodrati. "A Framework for Designing Attack Strategies in Cyber Range Scenarios". 2017

Supervisors: Gabriele Costa

Gabriel Claudiu Georgiu. "RiskInDroid: Risk Analysis for Android applications". 2016

Supervisors: Alessio Merlo

Publications

1. A. Merlo, G. C. Georgiu, “RiskInDroid - Machine Learning-Based Risk Analysis on Android”, in Proc. of IFIP SEC 2017.

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

1. A. Merlo, M. Migliardi, P. Fontanelli, “On energy-based profiling of malware in Android”, Proc. of HPCS 2014.

2. A. Merlo, M. Migliardi, P. Fontanelli, “Measuring and estimating power consumption in Android to support energy-based intrusion detection”, J. of Computer Security, 23(5), pp. 611-637 (2015).

Gabriele De Maglie, Fabio Tollini. A Centralized Approach for the Management of Mobile Code Security Policies. 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

Luca Verderame. "Security Analysis of the Android Operating System". 2012

Supervisors: Alessandro Armando, Alessio Merlo

Publications

1. A. Armando, A. Merlo, M. Migliardi, L. Verderame, “Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures)”, in Proc. od SEC 2012.

2. A. Armando, A. Merlo, M. Migliardi, L. Verderame, “Breaking and Fixing the Android Launching Flow”, in Computers and Security, 39 104-115 (2013).

Marco Malvasio. "Development of a framework for Symbolic Partial Model Checking". 2014

Supervisors: Alessandro Armando, Gabriele Costa, Alessio Merlo

Publications

1. A. Armando, G. Costa, A. Merlo, L. Verderame, “Formal modeling and automatic enforcement of Bring Your Own Device policies”, in Int. J. of Information Security, 14(2) 123-140 (2015).