Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation

Generative Adversarial User Privacy In Lossy Single-Server Information Retrieval

Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK

Concatenated codes for multiple reads of a DNA sequence

Interactive Nearest Lattice Point Search in a Distributed Setting: Two Dimensions

Straggler-resilient differentially-private decentralized learning

Influence of the Linear Layer on the Algebraic Degree in SP-Networks

NIWI and New Notions of Extraction for Algebraic Languages

Straggler-resilient secure aggregation for federated learning

Determining the Equivocation in Coded Transmission Over a Noisy Channel