MACS-produced material

Universally Composable Security: A Tutorial


Computer Network Security, 24 lectures

Secure Computation and Storage, 12 lectures (course homepage, video playlist)


Sharing Knowledge without Sharing Data

Universal Composability Analysis of OpenStack

The Mathematics of Lattices I

The Mathematics of Lattices II

How to Use Bitcoin to Enhance Secure Computation

Two Round MPC via Multi-Key FHE

Homomorphic Commitments & Signatures

Attribute-Based Encryption for Circuits

Time-Lock Puzzles from Randomized Encodings

2014 GHC Wednesday Keynote and Opening
(Start watching around the 49 minute mark.)