Confidentiality-preserving proof theories for distributed proof systems.

Kazuhiro Minami, Nikita Borisov, Marianne Winslett, Adam J. Lee

Browse the full CCS paper archive.