https://platoblockchain.com/plato-data/simple-and-practical-diqkd-security-analysis-via-bb84-type-uncertainty-relations-and-pauli-correlation-constraints/