Interactive proofs: Ten-year-old problem in theoretical computer science falls
Monday, July 30, 2012 - 14:00
in Mathematics & Economics
Interactive proofs -- mathematical games that underlie much modern cryptography -- work even if players try to use quantum information to cheat. Computer scientists show there are multiprover interactive proofs that hold up against entangled respondents.