More Efficient Shuffle Argument from Unique Factorization

Cryptanalysis of the GPRS Encryption Algorithms GEA-1 and GEA-2

Concatenated codes for recovery from multiple reads of DNA sequences

Somewhere Statistically Binding Commitment Schemes with Applications

On Subversion-Resistant SNARKs

Solving non-linear Boolean equation systems by variable elimination

On communication for distributed Babai point computation

Efficient NIZKs for Algebraic Sets

Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge

A thousand brains: toward biologically constrained AI