Work

Formal Verification and Proof of Impossibility for Four-Card XOR Protocols Using Only Random Cuts

Year: 2025

Type: conference-paper

DOI: 10.1145/3709015.3728665

Authors: Kazuhiro Fujita, Shota Ikeda, Kazumasa Shinagawa, Kazuki Yoneyama

Institutions: Ibaraki University, University of Tsukuba

Language: English

Topic: Cryptography and Data Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411085314

FWCI: 0.991

Cites: 17

Cited by: 1

Related to: 10