معرفی
Aslan Askarov is an Associate Professor at Aarhus University, affiliated with the Department of Computer Science. His research bridges computer security and programming languages, focusing on formal methods for robust security guarantees.
- Current Projects:
- Troupe: A programming language for concurrent/distributed programming with dynamic information-flow control
- DenIM: Protocol for secure instant messaging with metadata privacy
- Teaching:
- Fall 2024: Compilers course
- Spring 2024: Language-Based Security course (link to 2023 version)
His recent publications highlight trends in programming language security, formal verification of virtual machine safety, oblivious execution for reactive systems, and foundational work on noninterference and declassification. These align with subfields like separation logic, metadata privacy, type systems, and traffic analysis.
Professional activities include program committee roles for PLDI 2025, CSF 2025, and prior conferences including PriSC, POST, and PLAS. He also co-chaired FCS 2017 and Nordsec 2019.
۰مقاله منتشرشده
