Scholar
Aslan Askarov
Google Scholar ID: VV78_dMAAAAJ
Associate Professor at Aarhus University
Citations & Impact
Citations
518
H-index
12
i10-index
16
Publications
20
Co-authors
33
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Selected recent publications:
- - Metadata Privacy Beyond Tunneling for Instant Messaging (Euro S&P'24)
- - VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A (PLDI'23)
- - OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads (CSF'23)
- Professional activities:
- - Program committees: CSF 2026, ESOP 2026, PLDI 2025, CSF 2025, CSF 2022, CSF 2021, CSF 2020, PriSC 2020, Nordsec 2019 (co-chair), POST 2019, Euro S&P 2018, PLAS 2017, FCS 2017 (co-chair), HotSpot 2017, FCS 2016 (co-chair), CSF 2016, ESSOS 2015, FCS-FCC 2014, ARES 2014, FCS 2013, ARES 2013, PLAS 2013, ARES 2012, PLAS 2011 (co-chair), ISARCS 2010, PLAS 2009, VODCA 2008
Research Experience
- - Troupe: a programming language for concurrent and distributed programming with dynamic information flow control.
- - DenIM: a protocol for secure instant messaging with metadata privacy.
Background
- Associate Professor
- Logic and Semantics Group
- Department of Computer Science
- Aarhus University
- Research interests:
- - Computer security and privacy: foundations, information-flow, covert channels, metadata privacy, formal methods for security, web and mobile security.
- - Programming languages: semantics, design, type systems, program analysis.
Miscellany
- Teaching experience:
- - Teaching Compilers course in the Fall of 2024.
- - Teaching Language-Based Security course in the Spring of 2024 (link to the 2023 run of the course).
- Other:
- - Looking for PhD students and postdocs to work in the areas of Programming Languages and Computer Security.
