Programmable Cryptography from a Software Engineering Lens

Thu, Jan 1, 1970, 12:00 AM · 1:09:29

Different cryptographic primitives have different affordances, especially when using them in practice, and especially together. In this session, we explore a new way of interacting with PCs at a software engineering level via a LISP like programming language. This language enables creating self-verifying graphs of computation.