A direct product theorem for quantum communication complexity with applications to device-independent QKD | IEEE Conference Publication | IEEE Xplore