D'Ambrosi, D. (2023). Formalizing Social Engineering Attacks in the Symbolic Model (Version 1.0.0) [Computer software]. https://github.com/dambrosidenis/Formalizing_Social_Engineering_Attacks/