Mgr. Himanshu Kumar Haran

Diplomová práce

Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries

Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
Anotace:
The mathematical robustness of cryptographic algorithms has been extensively analyzed, however implementations in systems may lead to leakage of sensitive information. The leakage can be due to bugs, side channels, or any other unprecedented loopholes in the implementation. In this project, we plan to use formal methods to build a framework for verifying a cryptographic implementation to ensure its …více
Abstract:
The mathematical robustness of cryptographic algorithms has been extensively analyzed, however implementations in systems may lead to leakage of sensitive information. The leakage can be due to bugs, side channels, or any other unprecedented loopholes in the implementation. In this project, we plan to use formal methods to build a framework for verifying a cryptographic implementation to ensure its …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 14. 12. 2017

Obhajoba závěrečné práce

  • Obhajoba proběhla 1. 2. 2018
  • Vedoucí: prof. RNDr. Václav Matyáš, M.Sc.
  • Oponent: RNDr. Petr Švenda, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Bezpečnost informačních technologií (angl.)