Project Details
Description
Goal is to establish the scientific foundation for executing software securely and efficiently in the presence of physical attacks on all kinds of devices of our ubiquitous computing environment.
We aim at replacing current best-practice methods by scalable and efficient methods in hardware and software that allow securing critical parts of the software of a system against physical attacks without affecting or trusting the rest of the system. Our vision is that it should for example be possible to maintain the confidentiality and integrity of a variable that is part of a Linux application running on a processor that is attacked physically.
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/16 → 31/12/21 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Formal Verification of Arithmetic Masking in Hardware and Software
Gigerl, B., Primas, R. & Mangard, S., 29 May 2023, Applied Cryptography and Network Security : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I. Tibouchi, M. & Wang, X. (eds.). Cham: Springer, p. 3-32 30 p. (Lecture Notes in Computer Science; vol. 13905).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
File -
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication
Schilling, R., Nasahl, P. & Mangard, S., 2022, COSADE: Constructive Side-Channel Analysis and Secure Design. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
File -
Repurposing Segmentation as a Practical LVI-NULL Mitigation in SGX
Giner, L., Kogler, A., Canella, C. A., Schwarz, M. & Gruss, D., 10 Aug 2022, USENIX Security. 31 ed. 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile