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
School of Computing and Data Science
Thomas M. Siebel Center for Computer Science201 N. Goodwin Ave. MC-258Urbana, IL 61801
Chicago Office200 South Wacker Drive, Suite 701 Chicago, IL 60606
General email: admin@siebelschool.illinois.edu