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