About
Alejandro Russo is a Professor at Chalmers University of Technology, specializing in Information Flow Control (IFC), Secure Programming Languages, and Functional Programming. His research bridges theoretical foundations and practical implementations, focusing on mitigating timing channels, covert channels, and data leakage in concurrent systems.
- Developed novel frameworks for Differential Privacy with provable accuracy bounds
- Pioneered COWL integration for browser security and instruction-based scheduling to prevent cache timing attacks
- Led major projects like HIPSTER (hybrid static/dynamic IFC) and AppFlow (practical IFC deployment)
His publications reveal expertise in security libraries for Haskell and Python, with a focus on faceted execution, label manipulation, and mechanized security proofs. Students under his supervision have explored topics ranging from secure eDSLs to privacy-preserving compilation techniques.
Scientific awards:
- Google Research Award (2011) for Python taint analysis
Advising and grants:
- Principal Investigator for VR, STINT, and Google Research Award
- Supervised 12+ PhD and Master’s students in security and functional programming research
0Publications listed
