I graduated with a master's degree in Computer Engineering at Politecnico di Torino in 2024, with a thesis focused on the formal modeling of security controls related to Channel Protection. I am part of the TORSEC research group. I am currently working on innovative solutions in the context of Software Networks, addressing, in particular, the issues that emerge from human intervention in security-critical scenarios. I aim to explore how automation can be integrated into standard security procedures to reduce weaknesses involuntarily injected by people working in such an increasingly complex and multi-faceted landscape.
