Distributed Verification of Mixing - Local Forking Proofs Model.

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

Browse the full ACISP paper archive.