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.
-
Secret Spilling Drive: Leaking User Behavior through SSD Contention
Juffinger, J., Rauscher, F., La Manna, G. & Gruss, D., 23 Feb 2025, Network and Distributed System Security (NDSS) Symposium 2025.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches
Haring, J., Hadzic, V. & Bloem, R., 5 Sept 2024, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 4, p. 110-132 23 p.Research output: Contribution to journal › Article › peer-review
Open Access -
COMPRESS: Generate Small and Fast Masked Pipelined Circuits
Cassiers, G., Gigerl, B., Mangard, S., Momin, C. & Nagpal, R., 2024, (Accepted/In press) In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024, 3, 29 p.Research output: Contribution to journal › Conference article › peer-review
Activities
-
SnailLoad: Exploiting Remote Network Latency Measurements without JavaScript
Stefan Gast (Speaker)
15 Aug 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
SnailLoad: Anyone on the Internet Can Learn What You're Doing
Stefan Gast (Speaker) & Daniel Gruss (Speaker)
7 Aug 2024Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
Revisiting Differential-Linear Attacks via a Boomerang Perspective
Hossein Hadipour (Speaker)
22 Apr 2024 → 26 Apr 2024Activity: Talk or presentation › Invited talk at conference or symposium › Science to science