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.

Hedin, Daniel; Sabelfeld, Andrei: Information-flow security for a core of JavaScript. Proceedings of the Computer Security Foundations Symposium, pp. 3-18. ISBN/ISSN: 978-076954718-3

Rafnsson, Willard; Hedin, Daniel; Sabelfeld, Andrei: Securing interactive programs. Proceedings of the Computer Security Foundations Symposium, pp. 293-307. ISBN/ISSN: 978-076954718-3

Hedin, Daniel; Sabelfeld, Andrei: A Perspective on Information-Flow Control. Proceedings of the 2011 Marktoberdorf Summer School,

Askarov, Aslan; Hedin, Daniel; Sabelfeld, Andrei: Cryptographically-Masked Flows. Journal of Theoretical Computer Science, 402 (2-3) pp. 82-101.

Gedell, Tobias; Hedin, Daniel: Abstract Interpretation Plugins for Type Systems. Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, LNCS 5140 pp. 184-198. ISBN/ISSN: 978-3-540-79979-5

Hedin, Daniel: Program Analysis Issues in Language Based Security . Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7385-157-2

Hedin, Daniel: Language Based Covert Channel Avoidance. Göteborg : Chalmers University of Technology.

Askarov, Aslan; Hedin, Daniel; Sabelfeld, Andrei: Cryptographically-Masked Flows. Proceedings of the International Static Analysis Symposium, LNCS, 4134 pp. 353-369. ISBN/ISSN: 978-3-540-37756-6

Hedin, Daniel; Sands, David: Noninterference in the presence of non-opaque pointers. Proceedings of the 19th IEEE Computer Security Foundations Workshop, pp. 255-269.

Hedin, Daniel; Sands, David: Timing Aware Information Flow Security for a JavaCard-like Bytecode. Electronic Notes in Theoretical Computer Science, Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005), 141 (1) pp. 163-182.