Security is one of the most important extra-functional property of systems. Essential yet often overlooked, security ensures that our daily transactions remain protected, that our infrastructure operates regularly and that our communication stays private and safe from unauthorized parties.