Aslan Askarov

Find

Department of Computer Science

Associate professor

Department of Computer Science
Åbogade 34
building 5341, 216
8200 Aarhus N
Denmark
aslan@cs.au.dk
Mobile: +4523823124

Published
Reconciling progress-insensitive noninterference and declassification
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
A Dependently Typed Library for Static Information-Flow Control in IDRIS
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Static Enforcement of Security in Runtime Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 79020512