3 papers
cs.CR2026
Walma: Learning to See Memory Corruption in WebAssembly
Oussama Draissi, Mark Günzel, Ahmad-Reza Sadeghi +1
WebAssembly's (Wasm) monolithic linear memory turns a single memory-corruption bug into a bidirectional threat: a compromised module can attack its embedding host, and a malicious…
cs.CR2026
Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer
Martin Herrmann, Oussama Draissi, Christian Niesler +2
Microarchitectural vulnerabilities increasingly undermine the assumption that hardware can be treated as a reliable root of trust. Prevention mechanisms often lag behind evolving a…
cs.CR2024
HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
Jens-Rene Giesen, Sebastien Andreina, Michael Rodler +2
Developing secure smart contracts remains a challenging task. Existing approaches are either impractical or leave the burden to developers for fixing bugs. In this paper, we propos…