Aslan Askarov -

Registered user since Fri 21 Sep 2018

Name: Aslan Askarov

Affiliation: Aarhus University

Personal website: http://askarov.net/

Contributions

PriSC 2020	Committee Member in Program Committee within the Principles of Secure Compilation 2020-track Author of Reconciling progress-insensitive noninterference and declassification within the Principles of Secure Compilation 2020-track
PriSC 2019	Session Chair of Session 4 (part of PriSC 2019) Author of Modular Security Guarantees for Low-Level Languages with Stack Traversal within the PriSC 2019-track
POST 2019	Author of A Dependently Typed Library for Static Information-Flow Control in Idris within the POST 2019-track Committee Member in Program Committee within the POST 2019-track