• Sign in
  • Sign up
conf.researchr.org / Aslan Askarov
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2020 profile

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

Share
xThu 21 Jan 12:29
using conf.researchr.org (v1.40.2)
Support page
Sign Up