Aslan Askarov

Aslan Askarov is an Associate Professor in the Department of Computer Science at Aarhus University, where he leads research in computer security and programming languages. He is a member of the Logic and Semantics Group and maintains an active research program with several ongoing projects.

Dr. Askarov's research interests span computer security and privacy, with a focus on foundations, information-flow, covert channels, metadata privacy, and formal methods for security. He also works extensively in programming languages, particularly in semantics, design, type systems, and program analysis. His work bridges theoretical foundations with practical security applications, particularly in web and mobile security contexts.

His active projects include Troupe, a programming language for concurrent and distributed programming with dynamic information flow control, and DenIM, a protocol for secure instant messaging with metadata privacy. These projects reflect his commitment to developing practical security solutions grounded in formal methods.

Dr. Askarov has published extensively in top security and programming languages venues, with recent work focusing on metadata privacy in instant messaging, separation logic for virtual machine security, and oblivious execution techniques for reactive programs. His research demonstrates a consistent pattern of addressing fundamental security challenges through formal methods and language-based approaches.

• 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

Dr. Askarov teaches advanced courses in computer science, including Compilers in Fall 2024 and Language-Based Security in Spring 2024. He is actively recruiting PhD students and postdocs to work in the areas of Programming Languages and Computer Security, demonstrating his ongoing commitment to mentoring the next generation of researchers.