Hi! I’m Dongyu Wu. I’m a second year Ph.D. student at Rochester Institute of Technology. I’m supervised by Dr. Arthur Azevedo de Amorim. My major research is focusing on formal verification of cryptographic protocols.

Background