3 papers
cs.CR2026
Proof of Cloud: Data Center Execution Assurance for Confidential VMs
Filip Rezabek, Moe Mahhouk, Andrew Miller +3
Confidential Virtual Machines (CVMs) protect data in use by running workloads within hardware-enforced Trusted Execution Environments (TEEs). However, existing CVM attestation mech…
cs.CR2025
Threshold Signatures for Central Bank Digital Currencies
Mostafa Abdelrahman, Filip Rezabek, Lars Hupel +2
Digital signatures are crucial for securing Central Bank Digital Currencies (CBDCs) transactions. Like most forms of digital currencies, CBDC solutions rely on signatures for trans…
cs.CR2025
Narrowing the Gap between TEEs Threat Model and Deployment Strategies
Filip Rezabek, Jonathan Passerat-Palmbach, Moe Mahhouk +2
Confidential Virtual Machines (CVMs) provide isolation guarantees for data in use, but their threat model does not include physical level protection and side-channel attacks. There…