default search action
"Distributed Verification of Mixing - Local Forking Proofs Model."
Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski (2008)
- Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski:
Distributed Verification of Mixing - Local Forking Proofs Model. ACISP 2008: 128-140
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.