Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aslan Askarov
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
PLDI 2023 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
2023
ECOOP
External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track
PLDI
Author of VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A within the PLDI Research Papers-track
2020
PriSC
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
2019
POST
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
PriSC
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
Share
x
Sun 3 Dec 11:42