Post-Quantum Key Agreement Protocols Based on Modified Matrix-Power Functions over Singular Random Integer Matrix Semirings

Modern cryptography pushed forward the need of having provable security. Whereas ancient cryptography was only relying on heuristic assumptions and the secrecy of the designs, nowadays researchers try to make the security of schemes to rely on mathematical problems which are believed hard to solve. When doing these proofs, the capabilities of potential adversaries are modeled formally. For instance, the black-box model assumes that an adversary does not learn anything from the inner-state of a construction. While this assumption makes sense in some practical scenarios, it was shown that one can sometimes learn some information by other means, e.g., by timing how long the computation take. In this thesis, we focus on two different areas of cryptography. In both parts, we take first a theoretical point of view to obtain a result. We try then to adapt our results so that they are easily usable for implementers and for researchers working in practical cryptography. In the first part of this thesis, we take a look at post-quantum cryptography, i.e., at cryptographic primitives that are believed secure even in the case (reasonably big) quantum computers are built. We introduce HELEN, a new public-key cryptosystem based on the hardness of the learning from parity with noise problem (LPN). To make our results more concrete, we suggest some practical instances which make the system easily implementable. As stated above, the design of cryptographic primitives usually relies on some well-studied hard problems. However, to suggest concrete parameters for these primitives, one needs to know the precise complexity of algorithms solving the underlying hard problem. In this thesis, we focus on two recent hard-problems that became very popular in post-quantum cryptography: the learning with error (LWE) and the learning with rounding problem (LWR). We introduce a new algorithm that solves both problems and provide a careful complexity analysis so that these problems can be used to construct practical cryptographic primitives. In the second part, we look at leakage-resilient cryptography which studies adversaries able to get some side-channel information from a cryptographic primitive. In the past, two main disjoint models were considered. The first one, the threshold probing model, assumes that the adversary can put a limited number of probes in a circuit. He then learns all the values going through these probes. This model was used mostly by theoreticians as it allows very elegant and convenient proofs. The second model, the noisy-leakage model, assumes that every component of the circuit leaks but that the observed signal is noisy. Typically, some Gaussian noise is added to it. According to experiments, this model depicts closely the real behaviour of circuits. Hence, this model is cherished by the practical cryptographic community. In this thesis, we show that making a proof in the first model implies a proof in the second model which unifies the two models and reconciles both communities. We then look at this result with a more practical point-of-view. We show how it can help in the process of evaluating the security of a chip based solely on the more standard mutual information metric.

Post-quantum cryptography aims to find quantum-resistant public-key cryptographic schemes, that is, schemes which remain secure against both quantum and standard computers. In fact in 1994, Shor published an algorithm [85] breaking the nowadays used public-key cryptoschemes in polynomial time on a quantum computer. The security of public-key algorithms is based on computationally hard mathematical problems. Among the post-quantum proposals there is the Multivariate Problem: Solving a multivariate polynomial system over a finite field. The general and the most computationally efficient method for solving such systems is computing a Groöbner basis of the ideal they generate. In 2021, Beullens [22] used a strategy involving the MinRank Problem for breaching the most promising multivariate scheme at the time. All the details regarding public-key schemes and in particular the multivariate one can be found within the Introduction. The thesis is divided into three blocks. The goal of Chapter 1 is twofold. It is a collection of algebraic concepts and classical facts that are used through these pages, in particular, Section 1.1 serves this scope. In addition, the problem of solving polynomial systems via Gr¨bner basis is fully explained in Section 1.2. In Chapter 2 and Chapter 3, I present the two main works of my PhD, during which I mainly focused on the analysis of multivariate cryptoschemes twofolds. Firstly, together with my advisor Elisa Gorla, we propose a new definition of ‘random system’ using the concept of generality mutued from algebraic geometry. The details of this work are given in Chapter 2. On the other hand, with the help of Daniel Cabarcas (Universidad Nacional de Colombia), we investigated the SupportMinors Modeling, which is a method for modeling the MinRank Problem used by Beullens in his attack. The specifics of this work can be found in Chapter 3.

Quantum computing furnishes exponential speed up over classical computing in specific areas. For example, Shor’s algorithm can factor two numbers in a polynomial time complexity. Thus, many encryption algorithms that rely on large number factorization are potentially vulnerable to quantum computers. In order to address this, the National Institute of Standard and Test (NIST) has organized a competition to evaluate several post quantum cryptography (PQC) algorithms, that are secure from the attacks from quantum computers. Several of these lattice-based PQC encryption algorithms are based on Learning With Errors (LWE) computation. Conversely, LWE is the heaviest computation in a classical computer, which incurs significant portion of the latency overhead for the entire encryption algorithm. In this paper, we design an optimized quantum circuit for LWE computation. The proposed quantum circuit does not need any ancillary qubits and scales efficiently and easily if there are more qubits available on a higher qubit quantum computer.

Security is considered as an important anxiety for applications which involve communication (more than two) over public networks. Group key management is one of the essential building blocks in securing group communication. Most of the researches in group key management are based on the general idea of the original Diffie–Hellman (DH) key agreement protocol. The major drawback of generalized DH for multi-party is the fact that there are expensive exponential operations to be carried out. The factors that influence the capability of a Group Key agreement (GKA) protocol are communication rounds and the computational cost. In this paper, the concept of neural cryptography, based on the mutual learning of Tree Parity Machine (TPM), is extended to operations to be carried out. The factors that influence the capability of a Group Key agreement (GKA) protocol are communication rounds and the computational cost. In this paper, the concept of neural cryptography, based on the mutual learning of Tree Parity Machine (TPM), is extended to obtain a group key. The group key has been generated for an interactive conference key agreement system, where the system authenticates the users and allows them to compute their own session key, and also it has been recognized that the neural network based GKA protocols achieve key freshness and key secrecy. The quantity demand and investment in research and development, while the other model focuses on a more realistic relationship between the quantity demand and the price.

As quantum computing development advances closer toward achieving fault-tolerant error-corrected realisation, debates on applications, impacts, risks, and benefits of quantum computing are timely and due. While there is awareness of the potential power and complexity of quantum computers, there has been relatively little attention on the social impacts and ethical implications of this technology. In grappling with the social impacts of quantum computing, some stakeholders have turned to applied ethics, specifically (classical) computer and Artificial Intelligence (AI) ethics, for guidance. While computer and AI ethics are useful starting points for evaluating the ethical issues posed by quantum computing, uncritically applying existing sets of ethical principles risks overlooking how quantum computing differs from these technologies. We argue that borrowing of ethical principles and guidelines from AI and computing is inappropriate for several reasons: (1) quantum computing, classical computing, and AI are different technologies with significant material differences; (2) unlike AI and classical computers which have become established, quantum computing is an emerging technology, which has implications on the levels of accessibility and immediate impact in society; and (3) there are significant differences in the way AI and quantum computing have been developed and by whom. We also briefly summarise some of the unique risks and societ al impacts posed by quantum computing. We posit that these reasons support the argument for a new sub-field of quantum computing ethics, which would allow a relevant scholarship to develop and provide guidance as quantum computing technology continues to mature.

A roadmap from classical cryptography to post-quantum resistant cryptography for 5G-enabled IoT: Challenges, opportunities and solutions

In today Internet era, confidential information transmitted over an insecure channel. With the significant development in the area of quantum computing, there is a need for unconditional security in confidential information. Quantum key distribution protocols are proven secure if all devices are perfect (in terms of technologies and proper protocol operations). The major challenges in quantum communication are secret key rate, distance, cost and size of QKD devices. The purpose of this survey article is to carry out a systematic review in the area of quantum cryptography by covering various aspects of non-deterministic quantum key distribution protocols, quantum secure direct communication, semi-quantum key distribution, secure multiparty communication protocol, post-quantum cryptography and device-independent cryptography techniques. In addition, we also discussed various experimental work carried out in the area of quantum cryptography, various attacks and challenges relative to the paradigm shift from classical cryptography to quantum cryptography. Quantum cryptography will become a future replacement of classical cryptography techniques after the development of the first physical quantum computer.

In the modern world, the financial sector faces a wide range of extraordinary events, from market shocks and geopolitical tensions to pandemics and cyberattacks. These diverse challenges significantly impact banks. Recently, particular attention has been drawn to the influence of artificial intelligence (AI) and quantum computing (QC) technologies on the stability of the financial system. This article analyzes the potential areas of impact of quantum technologies on the financial sphere in general and the resilience of financial institutions in particular.It's determined that quantum technologies can simultaneously pose both threats and new opportunities. Specifically, the article analyzes the potential of quantum technologies to break existing cryptographic algorithms that protect the confidential data of financial institutions' clients. This threat is exacerbated by the possibility of "harvest now, decrypt later" attacks, where malicious actors intercept data today with the intention of decrypting it in the future. This presents challenges and threats for online/mobile banking, payment operations, and corporate communications. Among the positive impacts of quantum technologies on banking, the article highlights improved financial risk assessment, particularly enhanced accuracy in stress testing, portfolio management, and derivatives pricing, by solving problems inaccessible to classical computing. The potential of quantum machine learning for fraud detection is also noted. Attention is given to the financial sector's response to these challenges. Initiatives for developing quantum-resistant (post-quantum) cryptography are considered as the primary method for mitigating the risks associated with the proliferation of quantum computing, along with new cryptographic protocols and quantum key distribution as a new opportunity to enhance security. The article emphasizes the responsibility of central banks in forming quantum-readiness strategies, including investments in post-quantum cryptography, expertise development, and the adaptation of regulatory frameworks. The conclusion drawn is that although the immediate benefits of quantum technologies may be modest, their long-term transformative potential for the financial sector is immense.

During recent years, quantum computers have received increasing attention, primarily due to their ability to significantly increase computational performance for specific problems. Computational performance could be improved for mathematical optimization by quantum annealers. This special type of quantum computer can solve quadratic unconstrained binary optimization problems. However, multi-energy systems optimization commonly involves integer and continuous decision variables. Due to their mixed-integer problem structure, quantum annealers cannot be directly used for multi-energy system optimization.To solve multi-energy system optimization problems, we present a hybrid Benders decomposition approach combining optimization on quantum and classical computers. In our approach, the quantum computer solves the master problem, which involves only the integer variables from the original energy system optimization problem. The subproblem includes the continuous variables and is solved by a classical computer. For better performance, we apply improvement techniques to the Benders decomposition. We test the approach on a case study to design a cost-optimal multi-energy system. While we provide a proof of concept that our Benders decomposition approach is applicable for the design of multi-energy systems, the computational time is still higher than for approaches using classical computers only. We therefore estimate the potential improvement of our approach to be expected for larger and fault-tolerant quantum computers.

Quantum computing is a multidisciplinary field at the intersectionof quantum physics, computer science, and mathematics, aiming to har-ness quantum mechanical phenomena for computational advantage. Thisarticle provides a comprehensive review of both the foundational princi-ples and advanced theoretical models of quantum computing. We beginwith the basic framework of quantum computation, introducing the con-cept of qubits as two-level quantum systems, the linear algebra of Hilbertspaces, Dirac’s bra–ket notation, and the postulates of quantum mechan-ics (state superposition, unitary evolution, and projective measurement).We then discuss quantum logic gates and circuits, highlighting how clas-sical reversible computation principles extend to universal quantum gatesets. Next, we survey key quantum algorithms (from Shor’s factoring toGrover’s searching and beyond) and the complexity-theoretic implicationsof quantum computers, contrasting the class BQP with classical complex-ity classes. We cover the theoretical foundations of quantum error cor-rection and fault tolerance, explaining how quantum information can beprotected from decoherence using redundancy and how fault-tolerant pro-tocols can, in principle, allow scalable quantum computation despite noisyhardware. We then explore advanced models and paradigms of quantumcomputation, including measurement-based quantum computing (one-wayquantum computing), topological quantum computation with anyons, adi-abatic quantum computing and quantum annealing, continuous-variablequantum computing, and related approaches. We also provide an overviewof quantum information theory as it relates to computation, discussingentanglement, quantum entropy, and information-theoretic limits like theHolevo bound. Finally, we review the leading physical implementations(quantum hardware models) of quantum computers—trapped ions, super-conducting circuits, photonic systems, solid-state spin qubits, and oth-ers—outlining the challenges and achievements of each approach.

Recent improvements in control of quantum systems make it seem feasible to finally build a quantum computer within a decade. While it has been shown that such a quantum computer can in principle solve certain small electronic structure problems and idealized model Hamiltonians, the highly relevant problem of directly solving a complex correlated material appears to require a prohibitive amount of resources. Here, we show that by using a hybrid quantum-classical algorithm that incorporates the power of a small quantum computer into a framework of classical embedding algorithms, the electronic structure of complex correlated materials can be efficiently tackled using a quantum computer. In our approach, the quantum computer solves a small effective quantum impurity problem that is self-consistently determined via a feedback loop between the quantum and classical computation. Use of a quantum computer enables much larger and more accurate simulations than with any known classical algorithm, and will allow many open questions in quantum materials to be resolved once a small quantum computer with around one hundred logical qubits becomes available.

In the world of computation, the invention of Computers has reduced human effort for accomplishing task. Depending on the type, size and nature of the work the computers are manufactured in different magnitudes. As the technology grows, it facilitated to manufacture high performing, high throughput, and high memory Classical computers. Classical computers store any information in the form of bits in the memory device, which can be either 1 or 0 (binary system) and all the processing will be done in the same logic i.e., high voltage/low voltage. Because of this logic the classical computers solve some problems by using more resources. Quantum computer are the next level computers which uses quantum theory principles for solving problems. The quantum computer uses Qubit as basic unit which uses principles of quantum computing such as superposition and entanglement, which gives qubit, the efficiency of exhibiting many logical states at a time. This paper shows a comparative study on classical and quantum computers and illustrates various problems in classical computers and respective solutions with use of quantum computers.

Exploring the trade-off between computational power and energy efficiency: An analysis of the evolution of quantum computing and its relation to classical computing

Classic computing can take credit for technology ranging from mobile phones to supercomputers. But in recent years, a budding counterpart to these conventional devices has emerged: quantum computers. Whereas classic computing sometimes fails to solve complex calculations, such as factoring hundred-digit numbers, quantum computing holds the potential to easily tackle such problems. The field of quantum computing has attracted researchers, such as National Academy of Sciences member Christopher Monroe. An experimental atomic physicist at the University of Maryland and fellow of the Joint Quantum Institute and the Joint Center for Quantum Information and Computer Science in Maryland, Monroe uses lasers to exploit atomic particles to study complex computational problems. Monroe spoke to PNAS about how quantum computing might evolve. Christopher Monroe. > PNAS:Can you describe some of the basic mechanics of quantum computing? > Monroe:It all comes down to the superposition principle, in which a quantum system can exist in multiple states at the same time. Consider the fundamental unit of information: the bit. A bit is binary information that can be a 0 or a 1. A quantum bit, or qubit, can be in a superposition of both 0 and 1 as long as it’s isolated and unobserved. A single qubit is pretty trivial, but when you put many qubits together, there become exponentially many possibilities. > > Let’s consider 300 qubits. That’s an interesting number because the number of possible configurations, 2300, is more than the number of particles in the universe. You could never simulate what happens with 300 qubits on a classical machine; there’s not enough stuff in the universe to do it. The magic with quantum is the power of exponential growth: every time you add a qubit, you double the number of configurations. > > But to control these qubits and exploit this massive storage, we …

Quantum computing is an extremely promising research combining theoretical and experimental quantum physics, mathematics, quantum information theory and computer science. Classical simulation of quantum computations will cover part of the gap between the theoretical mathematical formulation of quantum mechanics and the realization of quantum computers. One of the most important problems in “quantum computer science” is the development of new symbolic languages for quantum computing and the adaptation of existing symbolic languages for classical computing to quantum algorithms. The present paper is devoted to the adaptation of the Mathematica symbolic language to known quantum algorithms and corresponding simulation on the classical computer. Concretely we shall represent in the Mathematica symbolic language Simon’s algorithm, the Deutsch-Josza algorithm, Grover’s algorithm, Shor’s algorithm and quantum error-correcting codes. We shall see that the same framework can be used for all these algorithms. This framework will contain the characteristic property of the symbolic language representation of quantum computing and it will be a straightforward matter to include this framework in future algorithms.KeywordsDeutsch-Josza algorithmGrover’s algorithmQuantum computingQuantum error-correctingShor’s algorithmSimon’s algorithmSimulation of quantum algorithms