I am a graduate research student at University of Waterloo, under the supervision of Professor Samuel Jaques. I have been working in cryptography and enjoyed it. My current research interest is proving protocol securities using automatic provers.
I am a graduate research student at University of Waterloo, under the supervision of Professor Samuel Jaques. I have been working in cryptography and enjoyed it. My current research interest is proving protocol securities using automatic provers.