| 2014 | NDSS | Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud. | Arnar Birgisson, Joe Gibbs Politz, lfar Erlingsson, Ankur Taly, Michael Vrable, Mark Lentczner |
| 2014 | SAC | JSFlow: tracking information flow in JavaScript and its APIs. | Daniel Hedin, Arnar Birgisson, Luciano Bello, Andrei Sabelfeld |
| 2012 | ESORICS | Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. | Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld |
| 2011 | ESORICS | Multi-run Security. | Arnar Birgisson, Andrei Sabelfeld |
| 2011 | PLDI | Differential privacy with information flow control. | Arnar Birgisson, Frank McSherry, Martn Abadi |
| 2011 | PLDI | Capabilities for information flow. | Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld |
| 2010 | ICISS | Unifying Facets of Information Integrity. | Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld |
| 2009 | PLDI | An implementation and semantics for transactional memory introspection in Haskell. | Arnar Birgisson, lfar Erlingsson |
| 2008 | CCS | Enforcing authorization policies using transactional memory introspection. | Arnar Birgisson, Mohan Dhawan, lfar Erlingsson, Vinod Ganapathy, Liviu Iftode |