1. Ambainis, A., Schulman, L.J., Ta-Shma, A., Vazirani, U., Wigderson, A.: The quantum communication complexity of sampling. In: Proceedings of the 39th Annual Symposium on Foundations of Computer Science, pp. 342–351 (1998)
2. Ben-Or, M.: Security of BB84 QKD Protocol (2002), Slides available at http://www.msri.org/publications/ln/msri/2002/quantumintro/ben-or/2/
3. Ben-Or, M., Horodecki, M., Leung, D., Mayers, D., Oppenheim, J.: Composability of QKD (2002), Slides available at http://www.msri.org/publications/ln/msri/2002/qip/mayers/1/ (Part II)
4. Lecture Notes in Computer Science;M. Ben-Or,2005
5. Ben-Or, M., Mayers, D.: Quantum universal composability (2002), Slides available at http://www.msri.org/publications/ln/msri/2002/quantumcrypto/mayers/1/banner/01.html