Arnar Birgisson

According to our database, Arnar Birgisson authored at least 12 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

JSFlow: tracking information flow in JavaScript and its APIs.

Daniel Hedin, Arnar Birgisson, Luciano Bello, Andrei Sabelfeld

Proceedings of the Symposium on Applied Computing, 2014

Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud.

Arnar Birgisson, Joe Gibbs Politz, Úlfar Erlingsson, Ankur Taly, Michael Vrable, Mark Lentczner

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2013

Tracking Dependencies for Security and Privacy.

Arnar Birgisson

PhD thesis, 2013

2012

Rule formats for determinism and idempotence.

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers

Sci. Comput. Program., 2012

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing.

Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

Capabilities for information flow.

Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011

Differential privacy with information flow control.

Arnar Birgisson, Frank McSherry, Martín Abadi

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011

Decompositional Reasoning about the History of Parallel Processes.

Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Multi-run Security.

Arnar Birgisson, Andrei Sabelfeld

Proceedings of the Computer Security - ESORICS 2011, 2011

2010

Unifying Facets of Information Integrity.

Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld

Proceedings of the Information Systems Security - 6th International Conference, 2010

2009

An implementation and semantics for transactional memory introspection in Haskell.

Arnar Birgisson, Úlfar Erlingsson

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

2008

Enforcing authorization policies using transactional memory introspection.

Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008