Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. A calculus for cryptographic protocols: The Spi Calculus;Abadi;Information and Computation,1999
2. Canetti, R., Universally composable security: A new paradigm for cryptographic protocols, in: 42nd IEEE Symposium on Foundations of Computer Science (FOCS) (2001), pp. 136–145, full version available at IACR ePrint Archive, Report 2000/067
3. Quantum Mechanics;Cohen-Tannoudji,1977
4. Time bounded random access machines;Cook;Journal of Computer and System Sciences,1973
5. Gay, S.J. and R. Nagarajan, Communicating quantum processes, in: J. Palsberg and M. Abadi, editors, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (2005), pp. 145–157
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. References;Foundations of Quantum Programming;2024
2. Distributed quantum programs;Foundations of Quantum Programming;2024
3. Semi-automated verification of security proofs of quantum cryptographic protocols;Journal of Symbolic Computation;2016-03
4. Programming with Quantum Communication;Electronic Notes in Theoretical Computer Science;2009-11
5. Specification and planning of UAV missions: a Process Algebra approach;2009 American Control Conference;2009