All Stories

  1. Viaduct: an extensible, optimizing compiler for secure distributed programs

    Article • June 2021, ACM (Association for Computing Machinery)

    Joshua Gancher

  2. Symbolic Proofs for Lattice-Based Cryptography

    Article • January 2018, ACM (Association for Computing Machinery)

    Joshua Gancher