Fast and Sound Cryptography

  • SWIFFT is a collection of compression functions that are highly parallelizable and admit very efficient implementations on modern microprocessors. The main technique underlying SWIFFT is a novel use of the Fast Fourier Transform (FFT) to achieve diffusion, together with a linear combination to achieve compression and confusion.
  • gamBIT

Secure Computation

  • Inchworm is a project to implement a RAM-based virtual machine for secure computation.

Verifiable Voting

  • Wombat is a project whose objective is to explore the feasibility of end-to-end verifiable voting.