Find

Department of Computer Science

Aslan Askarov

Associate professor

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

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
Published
Compositional Non-interference for Concurrent Programs via Separation and Framing
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 79020512