Publications

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

Conference and Workshop Papers

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).

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

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)