Description
Dissertação de mestrado em Engenharia Informática Quantum computing emerged from quantum physics as a new computational model. In a quantum computer, data is encoded directly in the physical state of a quantum system, and data-operations are transformations governed by the dynamics of quantum mechanics. The computational model obtained differ significantly from their classical counterpart, allowing to solve efficiently problems that are believed not to possess efficient solutions in classical computers. This fact has a deep effect in cryptography, since the security of most modern cryptographic schemes rely on hardness assumptions of particular problems, such as integer factorization or discrete logarithm.
This work aims to provide a comprehensive study of Quantum Computation and its mathematical foundation. Moreover, we will focus on the interaction between quantum computation and cryptography. Specifically, we will address: (1) the impact of some proposed quantum algorithms to the hardness assumptions of widely used cryptographic schemes, (2) new cryptographic ”hard-problems”that are believed to be resilient to quantum computers, and (3) the exploitation of quantum effects in the design of new cryptographic schemes (quantum cryptography). The SAGE open source mathematics software system (www.sagemath.com) will be used to prototype/animate the concepts studied.
Document Type
Master Thesis
Language
Portuguese
Advisor(s)
Almeida, José Bacelar; Barros, José Bernardo