All Stories

  1. Viaduct: an extensible, optimizing compiler for secure distributed programs
  2. Symbolic Proofs for Lattice-Based Cryptography