2008 |
6 | EE | Aslan Askarov,
Sebastian Hunt,
Andrei Sabelfeld,
David Sands:
Termination-Insensitive Noninterference Leaks More Than Just a Bit.
ESORICS 2008: 333-348 |
5 | EE | Aslan Askarov,
Daniel Hedin,
Andrei Sabelfeld:
Cryptographically-masked flows.
Theor. Comput. Sci. 402(2-3): 82-101 (2008) |
2007 |
4 | EE | Aslan Askarov,
Andrei Sabelfeld:
Gradual Release: Unifying Declassification, Encryption and Key Release Policies.
IEEE Symposium on Security and Privacy 2007: 207-221 |
3 | EE | Aslan Askarov,
Andrei Sabelfeld:
Localized delimited release: combining the what and where dimensions of information release.
PLAS 2007: 53-60 |
2006 |
2 | EE | Aslan Askarov,
Daniel Hedin,
Andrei Sabelfeld:
Cryptographically-Masked Flows.
SAS 2006: 353-369 |
2005 |
1 | EE | Aslan Askarov,
Andrei Sabelfeld:
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.
ESORICS 2005: 197-221 |