Enforcing authorization policies using transactional memory introspection. - Arnar Birgisson; Mohan Dhawan; Úlfar Erlingsson; Vinod Ganapathy; Liviu Iftode (CCS, 2008)

An implementation and semantics for transactional memory introspection in Haskell. - Arnar Birgisson; Úlfar Erlingsson (PLAS, 2009)

Unifying Facets of Information Integrity. - Arnar Birgisson; Alejandro Russo; Andrei Sabelfeld (ICISS, 2010)

Multi-run Security. - Arnar Birgisson; Andrei Sabelfeld (ESORICS, 2011)

Decompositional Reasoning about the History of Parallel Processes. - Luca Aceto; Arnar Birgisson; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (FSEN, 2011)

Differential privacy with information flow control. - Arnar Birgisson; Frank McSherry; Martín Abadi (PLAS, 2011)

Capabilities for information flow. - Arnar Birgisson; Alejandro Russo; Andrei Sabelfeld (PLAS, 2011)

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. - Arnar Birgisson; Daniel Hedin; Andrei Sabelfeld (ESORICS, 2012)

Rule formats for determinism and idempotence. - Luca Aceto; Arnar Birgisson; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Sci. Comput. Program., 2012)

Tracking Dependencies for Security and Privacy. - Arnar Birgisson (2013)

Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud. - Arnar Birgisson; Joe Gibbs Politz; Úlfar Erlingsson; Ankur Taly; Michael Vrable; Mark Lentczner (NDSS, 2014)

JSFlow: tracking information flow in JavaScript and its APIs. - Daniel Hedin; Arnar Birgisson; Luciano Bello; Andrei Sabelfeld (SAC, 2014)