Projects per year
Personal profile
Areas of expertise
- Computer security
- Programming languages
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Active
-
OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
Blaabjerg, J. F. & Askarov, A., 2023. 16 p.Research output: Contribution to conference › Paper › Research › peer-review
Open AccessFile125 Downloads (Pure) -
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L., Jun 2023, In: Proceedings of the ACM on Programming Languages . 7, p. 1438-1462Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access1 Citation (Scopus) -
Nontransitive policies transpiled
Ahmadpanah, M. M., Askarov, A. & Sabelfeld, A., Sept 2021, 2021 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, p. 543-561 19 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Towards Language-Based Mitigation of Traffic Analysis Attacks
Blaabjerg, J. F. & Askarov, A., 2021. 22 p.Research output: Contribution to conference › Paper › Research › peer-review
Open AccessFile75 Downloads (Pure) -
Reconciling progress-insensitive noninterference and declassification
Bay, J. & Askarov, A., Jun 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF). IEEE, p. 95-106 12 p. (Proceedings - IEEE Computer Security Foundations Symposium, Vol. 2020-June).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access4 Citations (Scopus)
Prizes
-
Misinformed messaging app choices based on privacy misconceptions
Griggio, C. F. (Recipient), Bødker, S. (Recipient), Askarov, A. (Recipient) & Nelson, B. (Recipient), Nov 2022
Prize: Prizes, scholarships, distinctions