Department ofPhysics of Complex Systems
Quantum Frontiers

Dr. Rotem Arnon-Friedman

Proving what quantum cryptography can promise — security from the laws of physics, not from assumptions about the adversary

01 / Research

Research

The group works at the foundations of quantum information theory, where the central question is how the rules of quantum mechanics constrain what can be learned, communicated, and kept secret. A particular focus is device-independent cryptography: protocols whose security follows from observed violations of Bell inequalities alone, requiring no trust in the internal workings of the devices that carry them out. Establishing such guarantees rigorously calls for tools that bound an adversary's knowledge directly from correlations between measurement outcomes.

Underpinning this effort is entanglement theory and quantum information measures — entropies, the structure of correlations, and how these quantities behave when many systems are composed or processed in sequence. The group develops mathematical techniques, such as entropy accumulation and reductions from general attacks to simpler structured ones, that turn statements about idealized single rounds into provable security for realistic, finite protocols. The aim is to put quantum cryptography on the same firm logical footing that classical complexity-based cryptography has long enjoyed, while clarifying which physical resources genuinely enable advantage.

Bell nonlocalityQuantum entropy estimationEntropy accumulation theoremSemidefinite programmingInformation-theoretic security proofsQuantum de Finetti reductions
Device-independent cryptographyDesigning key-distribution and randomness-generation protocols whose security rests on Bell violations rather than trust in the hardware.
Entropy accumulationDeveloping techniques that certify the accumulated randomness of many-round protocols from the behaviour of a single round.
Quantum randomness certificationQuantifying and verifying genuine randomness produced by quantum measurements for use in cryptographic applications.
Entanglement as a resourceCharacterizing how entanglement and nonlocal correlations enable information-processing tasks impossible with classical resources.
Finite-size security analysisClosing the gap between asymptotic security proofs and protocols run with finitely many rounds and realistic noise.
02 / People

Group members

Principal investigatorDr. Rotem Arnon-Friedman
Early-career scientistsPostdoctoral researchers
Doctoral researchersPhD students
Master's researchersMSc students

The named roster for each group is generated from the People directory, filtered by this group.

03 / Output

Selected publications

View publications
Design