2 papers
cs.CR2025
Wanilla: Sound Noninterference Analysis for WebAssembly
Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjösten +1
WebAssembly (Wasm) is rapidly gaining popularity as a distribution format for software components embedded in various security-critical domains. Unfortunately, despite its prudent…
cs.CR2025
OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
Traffic analysis attacks remain a significant problem for online security. Communication between nodes can be observed by network level attackers as it inherently takes place in th…