Research areas
Cybersecurity
DevOps
Formal Methods
Funded Projects
ASCD. Assessment on the Status of CyberSecurity in Denmark. ASCD - https://ascd.dk/
Capability-Based Command Protocol. CBCP - https://www.sdu.dk/en/om_sdu/institutter_centre/imada_matematik_og_datalogi/forskning/projekter/capability-based-command-protocol
Danish Cybersecurity Challenge 2022-24. https://www.cybermesterskaberne.dk/
GAMification and Education for Secure Software. GAMESS - https://gamess.dk/
Research areas
Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro: On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. 76: 705-719 (2023)
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini: Microservice security: a systematic literature review. PeerJ Comput. Sci. 8: e779 (2022)
Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro: sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res. 72: 329-376 (2021)
SoMe
Twitter: @jacopo_mauro
LinkedIn: Jacopo Mauro
