Amir Vakili

Post-Doctoral Fellow
Groups
Past students, Post-Doc Fellows and Scholars
Additional Information

Post-Doc Fellow (July 2016 - March 2017), formal verification of cryptographic protocols