English
Related papers

Related papers: Security Analyses of Quantum Communication Protoco…

200 papers

Quantifying the resources available to a quantum computer appears to be necessary to separate quantum from classical computation. Among them, entanglement, nonstabilizerness and coherence are arguably of great significance. We introduce…

High Performance Computing (HPC), Artificial Intelligence (AI)/Machine Learning (ML), and Quantum Computing (QC) and communications offer immense opportunities for innovation and impact on society. Researchers in these areas depend on…

Computers and Society · Computer Science 2020-12-18 William Gropp , Sujata Banerjee , Ian Foster

In process algebras such as ACP (Algebra of Communicating Processes), parallel processes are considered to be interleaved in an arbitrary way. In the case of multi-threading as found in contemporary programming languages, parallel processes…

Logic in Computer Science · Computer Science 2020-04-22 J. A. Bergstra , C. A. Middelburg

This paper introduces a novel lower bound on communication complexity using quantum relative entropy and mutual information, refining previous classical entropy-based results. By leveraging Uhlmann's lemma and quantum Pinsker inequalities,…

Quantum Physics · Physics 2025-07-29 Fengxia Liu , Zhiyong Zheng , Kun Tian , Yi Zhang , Heng Guo , Zhe Hu , Oleksiy Zhedanov , Zixian Gong

Recent advances in quantum computing have brought us closer to realizing the potential of this transformative technology. While significant strides have been made in quantum error correction, many challenges persist, particularly in the…

Quantum Physics · Physics 2025-12-03 Mateusz Meller , Vendel Szeremi , Oliver Thomson Brown

Quantum computing, while allowing for processing information exponentially faster than classical computing, requires computations to be delegated to quantum servers, which makes security threats possible. For instance, previous studies…

Software Engineering · Computer Science 2025-04-15 Yoann Marquer , Domenico Bianculli

We apply quantum integration to elementary particle-physics processes. In particular, we look at scattering processes such as ${\rm e}^+{\rm e}^- \to q \bar q$ and ${\rm e}^+{\rm e}^- \to q \bar q' {\rm W}$. The corresponding probability…

High Energy Physics - Phenomenology · Physics 2022-06-10 Gabriele Agliardi , Michele Grossi , Mathieu Pellen , Enrico Prati

In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols. The tool uses stabilizer formalism and is capable of representing concurrent quantum protocol, thus is more…

Logic in Computer Science · Computer Science 2013-12-23 Ebrahim Ardeshir-Larijani , Simon J. Gay , Rajagopal Nagarajan

Recent studies on quantum computing algorithms focus on excavating features of quantum computers which have potential for contributing to computational model enhancements. Among various approaches, quantum annealing methods effectively…

Quantum Physics · Physics 2021-11-02 Sun Woo Park , Hyunju Lee , Byung Chun Kim , Youngho Woo , Kyungtaek Jun

For quantum computer circuits, it is proposed that they have, besides the presently used compact graphs, an expanded system of subgraphs, in line with the quantum mechanics superposition axiom. The representation of each process by these…

Quantum Physics · Physics 2013-10-02 Helio V. Fagundes

Parallel processing of information plays a critical role in accelerating computation. This includes quantum computers, where parallel processing of quantum information will play a critical role in practical quantum advantage. Here, we…

Scientists have demonstrated that quantum computing has presented novel approaches to address computational challenges, each varying in complexity. Adapting problem-solving strategies is crucial to harness the full potential of quantum…

Computational Complexity · Computer Science 2024-09-13 Arash Vaezi , Ali Movaghar , Mohammad Ghodsi , Seyed Mohammad Hussein Kazemi , Negin Bagheri Noghrehy , Seyed Mohsen Kazemi

We introduce a Geometry of Interaction model for higher-order quantum computation, and prove its adequacy for a full quantum programming language in which entanglement, duplication, and recursion are all available. Our model comes with a…

Logic in Computer Science · Computer Science 2017-07-18 Ugo Dal Lago , Claudia Faggian , Benoit Valiron , Akira Yoshimizu

Any particular classical system and its quantum version are normally viewed as separate formulations that are strictly distinct. Our goal is to overcome the two separate languages and create a smooth and common procedure that provides a…

Quantum Physics · Physics 2020-10-13 John R. Klauder

With the constantly advancing capabilities of quantum computers, conventional cryptographic systems relying on complex math problems may encounter unforeseen vulnerabilities. Unlike regular computers, which are often deemed cost-ineffective…

Cryptography and Security · Computer Science 2024-09-18 Emils Bagirovs , Grigory Provodin , Tuomo Sipola , Jari Hautamäki

Post-quantum cryptography-PQC- aims to develop public-key primitives that are secure against adversaries using classical and quantum computing technologies. This study introduces novel protocols, a key encapsulation mechanism, a digital…

Cryptography and Security · Computer Science 2026-01-05 Juan Pedro Hecht , Hugo Daniel Scolnik

Quantum computing promises potential for science and industry by solving certain computationally complex problems faster than classical computers. Quantum computing systems evolved from monolithic systems towards modular architectures…

Quantum Physics · Physics 2023-08-15 Nishant Saurabh , Shantenu Jha , Andre Luckow

The article introduces a new method for applying Quantum Clustering to graph structures. Quantum Clustering (QC) is a novel density-based unsupervised learning method that determines cluster centers by constructing a potential function. In…

Machine Learning · Computer Science 2025-01-17 Zhe Wang , ZhiJie He , Ding Liu

Quantum computer is no longer a hypothetical idea. It is the worlds most important technology and there is a race among countries to get supremacy in quantum technology. Its the technology that will reduce the computing time from years to…

Cryptography and Security · Computer Science 2022-04-07 Manish Kumar

Quantum machine learning seeks to leverage quantum computers to improve upon classical machine learning algorithms. Currently, robust uncertainty quantification methods remain underdeveloped in the quantum domain, despite the critical need…

Machine Learning · Computer Science 2026-05-18 Douglas Spencer , Samual Nicholls , Michele Caprio