|
Search the dblp DataBase
Daniel Hedin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Daniel Hedin, David Sands
Noninterference in the Presence of Non-Opaque Pointers. [Citation Graph (0, 0)][DBLP] CSFW, 2006, pp:217-229 [Conf]
- Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Cryptographically-Masked Flows. [Citation Graph (0, 0)][DBLP] SAS, 2006, pp:353-369 [Conf]
- Daniel Hedin, David Sands
Timing Aware Information Flow Security for a JavaCard-like Bytecode. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:163-182 [Journal]
Abstract Interpretation Plugins for Type Systems. [Citation Graph (, )][DBLP]
A Machine-Checked Formalization of Sigma-Protocols. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|