Daniel Hedin

	2008
5		Tobias Gedell, Daniel Hedin: Abstract Interpretation Plugins for Type Systems. AMAST 2008: 184-198
4		Aslan Askarov, Daniel Hedin, Andrei Sabelfeld: Cryptographically-masked flows. Theor. Comput. Sci. 402(2-3): 82-101 (2008)
	2006
3		Daniel Hedin, David Sands: Noninterference in the Presence of Non-Opaque Pointers. CSFW 2006: 217-229
2		Aslan Askarov, Daniel Hedin, Andrei Sabelfeld: Cryptographically-Masked Flows. SAS 2006: 353-369
	2005
1		Daniel Hedin, David Sands: Timing Aware Information Flow Security for a JavaCard-like Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 163-182 (2005)

Coauthor Index

1	Aslan Askarov	[2] [4]
2	Tobias Gedell	[5]
3	Andrei Sabelfeld	[2] [4]
4	David Sands	[1] [3]

Colors in the list of coauthors