Travelled to:1 × China
1 × Cyprus
1 × Korea
Collaborated with:A.Myers D.Zhang A.C.Myers D.Hedin A.Sabelfeld
Talks about:cryptograph (1) framework (1) declassif (1) languag (1) control (1) channel (1) semant (1) endors (1) mitig (1) time (1)
Person: Aslan Askarov
DBLP: Askarov:Aslan
Contributed to:
2012
2010
2006Wrote 3 papers:
- PLDI-2012-ZhangAM
- Language-based control and mitigation of timing channels (DZ, AA, ACM), pp. 99–110.
- ESOP-2010-AskarovM #classification #framework #semantics
- A Semantic Framework for Declassification and Endorsement (AA, AM), pp. 64–84.
- SAS-2006-AskarovHS
- Cryptographically-Masked Flows (AA, DH, AS), pp. 353–369.