COMPSCI 490P/690P Secure Distributed Systems

This is a class devoted to the study of securing distributed systems, with decentralized cryptocurrencies serving as our real platform of interest. Examples of such decentralized systems include Bitcoin and Ethereum. We'll start with the fundamentals of Lamport's, Fischer's, and Douceur's results that fence-in consensus systems, including blockchains. We'll also look at the efficiency of the network architectures for peer-to-peer communication and attacks on their security. And we'll review some applied crypto such as elliptical curves which are used to validate transactions.  Assignments will include programming projects and reading research papers. The grade is also based on exams and participation in discussion. 

Location: Amherst campus 

 

Credits: 
3
Date: 
Monday, January 22, 2018 to Thursday, May 10, 2018
Class meets on: 
Monday
Wednesday
Instructor: 
Brian Levine
CompSci
Graduate
Undergraduate
January, 2019