mannyit99 / dependability_project Goto Github PK
View Code? Open in Web Editor NEWDependability Course Project (Formal Methods for Cybersecurity) of the second year of the Master's Degree in Cybersecurity (LM-66) at the University of Pisa, academic year 2022/2023. The project involves the identification, static & dynamic analysis of 5 samples of malware for the Android OS. You can find the complete report and presentation.
License: GNU General Public License v3.0