Proof of a mixnet in the Computationally Complete Symbolic Attacker (CCSA) model

Date: 6 February 2024   At: Paris, France -- PEPR SVP day