3 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.CR2023
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…
cs.PL2021
Towards Language-Based Mitigation of Traffic Analysis Attacks
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
Traffic analysis attacks pose a major risk for online security. Distinctive patterns in communication act as fingerprints, enabling adversaries to de-anonymise communicating partie…