Thesis Title: Security Models in Rewriting Logic for Cryptographic Protocols and BrowsersJose Meseguer – Director/ChairGrigore RosuSam KingShuo ChenCatherine Meadows