Applications of Semidefinite Programming in Quantum Cryptography