About me
I am a Postdoc at the Department of Theoretical Computer Science (TCS) at EECS in the Royal Institute of Technology (KTH). Before coming to KTH, I was a Postdoctoral Fellow in the Harvard John A. Paulson School of Engineering and Applied Sciences at Harvard University working with Stephen Chong's group. In 2016, I completed a PhD in Computer Science at Chalmers University of Technology, under the supervision of Alejandro Russo.
My research involves information-flow control for programming language-based security in Haskell. More generally, I also like functional programming, type systems and programming language semantics.
Publications
- Cryptographically Secure Information Flow Control on Key-Value Stores
- Flexible manipulation of labeled values for information-flow control libraries
- QuickFuzz: an automatic random fuzzer for common file formats
- The Key monad: type-safe unconstrained dynamic typing
- It's My Privilege: Controlling Downgrading in DC-Labels
- HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell
- Dynamic Enforcement of Dynamic Policies
- Dynamic Enforcement of Dynamic Policies (Extended Abstract)
- On Dynamic Flow-Sensitive Floating-Label Systems
- Lazy Programs Leak Secrets
- A library for removing cache-based attacks in concurrent information flow systems
- Eliminating cache-based timing attacks with instruction-based scheduling
- Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems
- Confluence via strong normalisation in an algebraic λ-calculus with rewriting
- A Functional Framework for Result Checking
Theses
- Securing functional programs with floating-label information-flow control
- Securing concurrent programs with dynamic information-flow control
- Aproximando los escalares de un λ-cálculo algebraico mediante cotas inferiores
Teaching
While at Chalmers, I worked as a Teaching Assistant for the follwing courses: