Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.: Rule formats for determinism and idempotence. Science of Computer Programming, 77 (7-8) pp. 889–907.

Birgisson, Arnar; Hedin, Daniel; Sabelfeld, Andrei: Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. LNCS Computer Security -- ESORICS 2012, 7459 pp. 55-72.

Birgisson, Arnar; Russo, Alejandro; Sabelfeld, Andrei: Capabilities for information flow. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, pp. article no. 5. ISBN/ISSN: 978-145030830-4

Birgisson, Arnar: Controlling Dependencies for Security and Privacy . Göteborg : Chalmers University of Technology. ISBN/ISSN: 1652-876X

Birgisson, Arnar; Sabelfeld, Andrei: Multi-run security. Lecture Notes in Computer Science, Proceedings of the European Symposium on Research in Computer Security (ESORICS), ISBN/ISSN: 978-364223821-5

Birgisson, Arnar; Abadi, Martín; McSherry, Frank: Position Paper: Differential Privacy with Information Flow Control. Proceedings of ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security, ISBN/ISSN: 978-145030830-4

Birgisson, Arnar; Russo, Alejandro; Sabelfeld, Andrei: Unifying Facets of Information Integrity. Springer LNCS Proceedings of Sixth International Conference on Information Systems Security, 6503 pp. 48-65. ISBN/ISSN: 978-364217713-2