Thesis Title: Secure Transformation of Cryptographic Protocols
Committee: Jeff Erickson, Co-Chair/Co-Director of Research
Manoj Prabhakaran, Co-Chair/Co-Director of Research
Andrew Miller
Yuval Ishai; Technion Israel, CS