Jeppe Fredsgaard Blaabjerg


I am a Program Analysis Engineer at Coana.

I am interested in programming languages (semantics, design, implementation, type systems, program analysis) and computer security (information-flow, language-based security, online security, covert channels).

I have a PhD in Computer Science from Aarhus University, where I was advised by Aslan Askarov.

Contact

Publications

Information Flow Techniques for Mitigating Traffic Analysis
Jeppe Fredsgaard Blaabjerg
Ph.D. thesis, Aarhus University, January 2024
Abstract (.html) Slides (.pdf)

OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
Jeppe Fredsgaard Blaabjerg and Aslan Askarov
In CSF 2023: 36th IEEE Computer Security Foundations Symposium, Dubrovnik, Croatia
Preprint (.pdf) Technical report (.pdf) Code (GitHub)

Towards Language-Based Mitigation of Traffic Analysis Attacks
Jeppe Fredsgaard Blaabjerg and Aslan Askarov
In CSF 2021: 34th IEEE Computer Security Foundations Symposium, Virtual Conference
Preprint (.pdf) Technical report (.pdf)

Other

Short Paper: Differential fuzzing of constant-time packages in JavaScript
Jeppe Fredsgaard Blaabjerg
Short paper (.pdf)