Arnar Birgisson

Arnar is a Software Engineer at Google and works on security protocols. He studied Language-Based Security at Chalmers University of Technology, Gothenburg, Sweden, and Theoretical Computer Science at Reykjavik University.

Google Publications

Previous Publications


    Differential privacy with information flow control

    Arnar Birgisson, Frank McSherry, Martín Abadi

    PLAS (2011), pp. 2


    An implementation and semantics for transactional memory introspection in Haskell

    Arnar Birgisson, Úlfar Erlingsson

    Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, ACM, New York, NY, USA (2009), pp. 87-99