BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Askarov:Aslan

Contributed to:

PLDI 20122012
ESOP 20102010
SAS 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.