Related People Thomas SattoloCybercrime Analyst, National Cybercrime Coordination Unit, RCMP, Canada Full Profile Maxime Buyse Formal Verification Engineer, Cryspen Full Profile Quentin YangPhD Student (Université de Lorraine, Nancy, France) Full Profile Pruthvi Chivukula Full Profile Matthew SiuNetwork Software Engineer, Ciena Full Profile Bohdana SeredaSecurity Consulting Analyst, Accenture Full Profile Joe SamuelSoftware Development Engineer--Security, Ford Motor Company Full Profile Khalil Aalab Full Profile Alvi JawadPhD Student Full Profile Kamaluddin Shakiri Testing Analyst, Canada Revenue Agency Full Profile Dylan LéveilléPhD Student Full Profile Idir Zerrouk Analog Verification and Testing Automation, Ciena Full Profile