Interdisciplinary Research Group in Socio-technical CybersecurityItzel Vazquez SandovalResearch Associateitzel.vazquezsandoval@uni.lu Areas of expertise Computational Logic Formal Methods Formal Verification Secure email protocols Research Interests Logic, cryptography, automatic reasoning … and more. Publications Please refer to our Publications section for the full list of Itzel's academic outcomes. Below are her latest publications. Campus Office MNO, E02 0215-120Maison … Continued