|
|
|
ACADEMICS: Course List - CS4615
|
CS4615 Formal Analysis of Cryptographic Protocols (3-1)
Instructor: Jonathan Herzog
Cryptographic protocols (such as key-exchange and mutual-authentication protocols) are essential to the security of all distributed computer networks. Such protocols are often simple, but they also often fall to 'structural' attacks (attacks that do not need to break the underlying cryptography). This course considers the Ôprotocol analysis problem': finding structural attacks against a protocol (if they exist) or proving their absence (if they do not). We will examine several protocol-analysis techniques and compare their strengths and weaknesses. Advanced topics include (as time permits) protocol-design heuristics, trust-management and higher-level protocol goals, interactions between protocols, computational soundness, and decidability results.
PREREQUISITES: CS3600 or permission of instructor
|
|
|
