Arnar Birgisson

13 papers A* 2A 2Misc 2Journal 1Unranked 5

Year	Rank	Type	Title / Venue / Authors
2014	Misc	`conf`	JSFlow: tracking information flow in JavaScript and its APIs. SAC Daniel Hedin, Arnar Birgisson, Luciano Bello, Andrei Sabelfeld
2014	A*	`conf`	Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud. NDSS Arnar Birgisson, Joe Gibbs Politz, Úlfar Erlingsson, Ankur Taly, Michael Vrable, Mark Lentczner
2013	—	`—`	Tracking Dependencies for Security and Privacy. Arnar Birgisson
2012	A	`conf`	Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. ESORICS Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld
2012	J	`jnl`	Rule formats for determinism and idempotence. Sci. Comput. Program. Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2011	—	`conf`	Capabilities for information flow. PLAS Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
2011	—	`conf`	Decompositional Reasoning about the History of Parallel Processes. FSEN Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi
2011	—	`conf`	Differential privacy with information flow control. PLAS Arnar Birgisson, Frank McSherry, Martín Abadi
2011	A	`conf`	Multi-run Security. ESORICS Arnar Birgisson, Andrei Sabelfeld
2010	Misc	`conf`	Unifying Facets of Information Integrity. ICISS Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
2009	—	`conf`	An implementation and semantics for transactional memory introspection in Haskell. PLAS Arnar Birgisson, Úlfar Erlingsson
2009	—	`conf`	Rule Formats for Determinism and Idempotence. FSEN Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
2008	A*	`conf`	Enforcing authorization policies using transactional memory introspection. CCS Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode