Research areas
Cybersecurity
DevOps
Formal Methods
Funded Projects
ASCD. Assessment on the Status of CyberSecurity in Denmark. ASCD -
Capability-Based Command Protocol. CBCP - /en/om_sdu/institutter_centre/imada_matematik_og_datalogi/forskning/projekter/capability-based-command-protocol
Danish Cybersecurity Challenge 2022-24.
GAMification and Education for Secure Software. GAMESS -
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:
LinkedIn:
