Security Analysis of Network Protocols

Speaker: John Mitchell, Stanford University