Algebraic Cipher Types: A Functorial Framework for Secure Computation

Published on January 1, 0001 Preprint