Stanford University
CS 259 — Security Analysis of Network Protocols
29 documents • ranked by quality and engagement.
No description provided
Analyzing an E-Commerce Protocol for Anonymous Fair Exchange
CS 259 · Stanford University
Introduction to Game-Based Verification
CS 259 · Stanford University
Analysis of the Source Anonymity of Onion Routing without a Public Key Infrastructure
CS 259 · Stanford University
Summary of the Security Analysis of Network Protocols
CS 259 · Stanford University
Introduction to Protocol Composition Logic
CS 259 · Stanford University