Christensen, Jesper Bjerge Koefoed, Jacob Gade Rottwitt, Karsten McKinstrie, C. J.

The future of integrated quantum photonics relies heavily on the ability to engineer refined methods for preparing the quantum states needed to implement various quantum protocols. An important example of such states is quantum-correlated photon pairs, which can be efficiently generated using spontaneous nonlinear processes in integrated microring-...

Christensen, Jesper Bjerge Koefoed, Jacob Gade Rottwitt, Karsten McKinstrie, C. J.

The future of integrated quantum photonics relies heavily on the ability to engineer refined methods for preparing the quantum states needed to implement various quantum protocols. An important example of such states is quantum-correlated photon pairs, which can be efficiently generated using spontaneous nonlinear processes in integrated microring-...

Christensen, Jesper Bjerge Koefoed, Jacob Gade Rottwitt, Karsten McKinstrie, C. J.

The future of integrated quantum photonics relies heavily on the ability to engineer refined methods for preparing the quantum states needed to implement various quantum protocols. An important example of such states is quantum-correlated photon pairs, which can be efficiently generated using spontaneous nonlinear processes in integrated microring-...

Christensen, Jesper Bjerge Koefoed, Jacob Gade Rottwitt, Karsten McKinstrie, C. J.

The future of integrated quantum photonics relies heavily on the ability to engineer refined methods for preparing the quantum states needed to implement various quantum protocols. An important example of such states is quantum-correlated photon pairs, which can be efficiently generated using spontaneous nonlinear processes in integrated microring-...

Christensen, Jesper Bjerge Koefoed, Jacob Gade Rottwitt, Karsten McKinstrie, C. J.

The future of integrated quantum photonics relies heavily on the ability to engineer refined methods for preparing the quantum states needed to implement various quantum protocols. An important example of such states is quantum-correlated photon pairs, which can be efficiently generated using spontaneous nonlinear processes in integrated microring-...

Christensen, Jesper Bjerge Koefoed, Jacob Gade Rottwitt, Karsten McKinstrie, C. J.

The future of integrated quantum photonics relies heavily on the ability to engineer refined methods for preparing the quantum states needed to implement various quantum protocols. An important example of such states is quantum-correlated photon pairs, which can be efficiently generated using spontaneous nonlinear processes in integrated microring-...

Christensen, Jesper Bjerge Koefoed, Jacob Gade Rottwitt, Karsten McKinstrie, C. J.

The future of integrated quantum photonics relies heavily on the ability to engineer refined methods for preparing the quantum states needed to implement various quantum protocols. An important example of such states is quantum-correlated photon pairs, which can be efficiently generated using spontaneous nonlinear processes in integrated microring-...

zekrifa, Djabeur Mohamed Seifeddine Go, Kato

This paper presents a formal framework for semi-automated verification of security proofs of quantum cryptographic protocols. We simplify the syntax and operational semantics of quantum process calculus qCCS so that verification of weak bisimilarity of configurations becomes easier. In addition, we generalize qCCS to handle security parameters and ...

zekrifa, Djabeur Mohamed Seifeddine Go, Kato

This paper presents a formal framework for semi-automated verification of security proofs of quantum cryptographic protocols. We simplify the syntax and operational semantics of quantum process calculus qCCS so that verification of weak bisimilarity of configurations becomes easier. In addition, we generalize qCCS to handle security parameters and ...

zekrifa, Djabeur Mohamed Seifeddine Go, Kato

This paper presents a formal framework for semi-automated verification of security proofs of quantum cryptographic protocols. We simplify the syntax and operational semantics of quantum process calculus qCCS so that verification of weak bisimilarity of configurations becomes easier. In addition, we generalize qCCS to handle security parameters and ...