Links:
My research focus on protecting confidentiality of data when manipulated by untrusted software components, i.e., software written by someone else. For that, I have been applying a wide-range of rigorous programming languages techniques and authored software solutions to build secure systems for the programming languages Haskell, Python, and JavaScript.