jaseg/phd-thesis
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improve and manually translate abstract

Browse source
This commit is contained in:
jaseg 2025-12-01 15:01:28 +01:00
parent 5046c79d1c
commit d7b381307c
5 changed files with 67 additions and 53 deletions
Download patch file Download diff file Expand all files Collapse all files

9
abstract.tex
View file

@ -3,14 +3,9 @@
\adjustmtc
\addcontentsline{toc}{chapter}{Abstract}
%Through advancements in cryptography, nowadays it is feasible to construct networked computer systems that for all
%intents and purposes cannot be hacked over the network. Correctly applying cryptographic protocols and techniques such
%as formal verification, it can be ensured that a software implementation is a flawless representation of its theoretical
%model, and that the theoretical model is secure given universally accepted cryptographic assumptions. Despite
In the past decades, cryptographic advancements and techniques like formal verification have rapidly improved software
In the past decades, cryptographic advancements and techniques like formal verification have steadily improved software
security. Meanwhile, the field of hardware security has not kept pace. Research has made progress in subfields such as
resilience to Side-Channel Attacks (SCA) and Physically Unclonable Functions (PUFs). However, the state of the art still
resilience to Side-Channel Attacks (SCA) and Physical Unclonable Functions (PUFs). However, the state of the art still
often relies on microelectronic integration to achieve security by obscurity insted of more fundamental security
guarantees. While effective, system-level tamper protection is only used in few devices such as Hardware Security
Modules (HSMs) and card payment terminals. Due to the high cost and low performance of HSMs in particular, they remain