Improve start of abstract

abstract.tex

@@ -8,12 +8,13 @@
 %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 
 
-% FIXME leo's notes
-With cryptographic advancements and techniques like formal verification leading to increasingly secure software, the
-hardware level advances into the focus of contemporary applied computer security research. However, the state of the art
-in hardware security still often relies on the use of microelectronic integration to achieve security by obscurity over
-more fundamental security guarantees. System-level tamper protection is sometimes used, but remains relegated to niche
-applications due to the high cost and low performance of devices like Hardware Security Modules (HSMs).
+In the past decades, cryptographic advancements and techniques like formal verification have rapidly 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
+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
+relegated to niche applications such as Transport Layer Security (TLS) certificate issuance and payment data processing.
 
 In this thesis, Jan Sebastian Götte introduces the Inertial Hardware Security Module (IHSM), a new architecture for
 low-cost hardware security modules that provide high-level active tamper protection, while supporting computing payloads