Achievable information rates and concatenated codes for the DNA nanopore sequencing channel

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

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

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