Research output per year
Research output per year
Project Details
Description
SPyCoDe aims at creating the technological foundations for the design of complex, multi-layer systems with provable S&P guarantees. This goal is highly interdisciplinary, integrating computer-aided verification, system security, and cryptography, and touching on further fields, like networks, game theory, and blockchains.
| Status | Active |
|---|---|
| Effective start/end date | 1/01/23 → 31/12/26 |
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.
-
IdleLeak: Exploiting Idle State Side Effects for Information Leakage
Rauscher, F., Kogler, A., Juffinger, J. & Gruss, D., 26 Feb 2024, Network and Distributed System Security Symposium (NDSS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
File -
Revisiting Differential-Linear Attacks via a Boomerang Perspective with Application to AES, Ascon, CLEFIA, SKINNY, PRESENT, KNOT, TWINE, WARP, LBlock, Simeck, and SERPENT
Hadipour, H., Derbez, P. & Eichlseder, M., 16 Feb 2024.Research output: Working paper › Preprint
-
Security Aspects of Masking on FPGAs
Gigerl, B., Pretterhofer, K. & Mangard, S., 2024, (Accepted/In press) Proceedings of the 2024 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2024.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile
-
Secure Context Switching of Masked Software Implementations
Barbara Gigerl (Speaker)
14 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Automated Verification of Power Contracts
Johannes Haring (Speaker)
11 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science