Extremal quantum correlations and cryptographic security

Results of quantum experiments are given by correlation tables, i.e. expectation values of joint measurements performed at different locations. We are interested in situations when these correlations are provably secure, i.e. when the measured results can be shown to be independent of any eavesdropper. We show that any extremal quantum correlation table is secure, and provide algebraic criteria for this.