secure against active adversaries that statically corrupt less than λ out of k mix-servers,
where λ is a threshold parameter, and it is robust provided that at most min (λ− 1, k− λ) mix-
servers are corrupted. The main component of our construction is a mix-net that outputs the
correct result if all mix-servers behaved honestly, and aborts with probability 1− O (H−(t− 1))
otherwise (without disclosing anything about the inputs), where t is an auxiliary security …