This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
"Personal research funding: Team grant (PRG)" project PRG946
PRG946 "Secure Quantum Technology (1.01.2020−31.12.2024)", Dominique Peer Ghislain Dr Unruh, University of Tartu, Faculty of Science and Technology, Institute of Computer Science.
PRG946
Turvaline kvanttehnoloogia
Secure Quantum Technology
1.01.2020
31.12.2024
R&D project
Personal research funding: Team grant (PRG)
ETIS classificationSubfieldCERCS classificationFrascati Manual classificationPercent
4. Natural Sciences and Engineering4.6. Computer SciencesP170 Computer science, numerical analysis, systems, control 1.2 Computer and information sciences100,0
PeriodSum
01.01.2020−31.12.2020168 750,00 EUR
01.01.2021−31.12.2021168 750,00 EUR
337 500,00 EUR

Tuleviku kvantarvutid ohustavad tänapäeva krüpograafilisi süsteeme ja seega ka tundlike andmete vahetamist, näiteks läbi interneti, ning ohutus-kriitiliste süsteemide turvalisust. Antud projekti raames arendatakse tehnikaid, mis muudavad tänapäevase krüptograafia kvantarvutite suhtes kindlaks (kvantturvaline krüpograafia) ja mida saab kasutada aktiivselt kvanttehnoloogiates, et luua turvalisemaid süsteeme (mis nii väldivad kvantarvutitest tulenevaid ohte kui arendavad edasi tänapäevast turvalisust). Kvantkrüptograafia turvalisuse verifitseerimiseks arendatakse projektis tehnoloogiaid, kasutades nii formaalset verifitseerimist (kasutatakse arvutit turvalisuse kohta käivate matemaatiliste tõestuste kontrollimiseks) kui arendades tehnikaid kvantprogrammide optimeerimiseks, et hinnata, kui palju ressursse on vaja kvantarvutiga krüptograafia ründamiseks.
Future quantum computers threaten today's cryptographic systems and thus the privacy of sensitive data exchanged, for example, on the Internet, and the security of safety-critical systems. This project develops techniques for making today's cryptography resistant against quantum computers (post-quantum cryptography) and for making active use of quantum technologies to develop more secure systems (both to counter the threats of quantum computers, and to go beyond the security that can be achieved today). We will develop technologies for verifying the security of quantum cryptography, both by using formal verification (where a computer checks the mathematical proofs of security), and by developing techniques for optimizing quantum programs, to be able to judge clearly the resources needed for attacking cryptography with a quantum computer.