Spring '25

• CPSC 467/567: Introduction to Cryptography

• CPSC 466/566: Web3, Blockchains, and Cryptocurrencies

• CPSC 465/565: Theory of Distributed Computing

• CPSC 444/544: Real-World Cryptography

• CPSC 430/530: Formal Semantics

• CPSC 422/522: Design and Implementation of Operating Systems

• CPSC 414: Computing Then and Now: How Digital Technology Evolves

• CPSC 310: Technology, Power, and Security: Political Challenges of the Computer Age

Fall '24

• CPSC 466/566: Blockchain and Cryptocurrency

• CPSC 417/517: Advanced Topics in Cryptography: Cryptography and Computation