Abstract: Homomorphic Encryption (HE) allows computations on encrypted data without decryption. It can be used where the users' information are to be processed by an untrustful server, and has been a ...

Self-driving cars, autonomous robots, modern airplanes, or robotic surgery: we increasingly entrust our lives to computers and therefore should strive for nothing but the highest safety standards - ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right? When you purchase ...

Abstract: A new proof of the direct part of the quantum channel coding theorem is shown based on a standpoint of quantum hypothesis testing. A packing procedure of ...