Publications

Conference and Workshop Papers

10.09.2012 Arnar Birgisson, Daniel Hedin, and Andrei Sabelfeld. Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. Proceedings of the European Symposium on Research in Computer Security (ESORICS 2012), Pisa, Italy.

12.09.2011 Arnar Birgisson and Andrei Sabelfeld. Multi-run security. Proceedings of the European Symposium on Research in Computer Security (ESORICS 2011), Leuven, Belgium.

05.06.2011 Arnar Birgisson, Frank McSherry, and Martín Abadi. Differential Privacy with Information Flow Control. ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security (PLAS 2011), San Jose, CA.

05.06.2011 Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld. Capabilities for Information Flow. ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security (PLAS 2011), San Jose, CA.

20.04.2011 Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, and MohammadReza Mousavi. Decompositional Reasoning about the History of Parallel Processes. Proceedings of the 4th International on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran. PDF links to extended version TU/e Technical Report.

17.12.2010 Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld. Unifying Facets of Information Integrity. Sixth International Conference on Information Systems Security (ICISS 2010), Gandhinagar, India.

15.06.2009 Arnar Birgisson and Úlfar Erlingsson. An Implementation and Semantics for Transactional Memory Introspection in Haskell. ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009), Dublin, Ireland.

15.04.2009 Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi, and Michel Reniers. Rule Formats for Determinism and Idempotency. LNCS proceedings of Fundamentals of Software Engineering 2009.

27.10.2008 Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, and Liviu Iftode. Enforcing Authorization Policies using Transactional Memory Introspection. CCS’08: Proceedings of the 15th ACM Conference on Computer and Communications Security. Alexandria, Virginia; October 27-31, 2008

Journal Papers

31.03.2010 Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi, and Michel Reniers. Rule Formats for Determinism and Idempotency (journal version). To appear in a Special Issue of Science of Computer Programming devoted to FSEN 2009. Guest editors Farhad Arbab and Marjan Sirjani

Technical reports

28.10.2008 Arnar Birgisson and Úlfar Erlingsson. An Implementation and Semantics for Transactional Memory Introspection in Haskell. RU Technical Report CS08007. (superseded by workshop paper above)

18.04.2008 Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, and Liviu Iftode. Enforcing Authorization Policies using Transactional Memory Introspection. Technical report, Rutgers University, Dept. of C.S. (superseded by conference paper above)