conf.researchr.org / Aslan Askarov

Registered user since Fri 21 Sep 2018

Name: Aslan Askarov

Affiliation: Aarhus University

Personal website: http://askarov.net/

Contributions

PriSC 2020Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
PriSC 2019Session 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 2019Author 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