Index-based concatenated codes for the multi-draw DNA storage channel

Construction and Secrecy Gain of Formally Unimodular Lattices in Odd Dimensions

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

Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK

Straggler-resilient differentially-private decentralized learning

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

On the Secrecy Gain of Formally Unimodular Construction A4 Lattices

Computational code-based privacy in coded federated learning