Aarhus University Seal / Aarhus Universitets segl

Aslan Askarov

  1. 2020
  2. Published

    Reconciling progress-insensitive noninterference and declassification. / Bay, Johan; Askarov, Aslan.

    2020 IEEE 33rd Computer Security Foundations Symposium (CSF). IEEE, 2020. p. 95-106 (Proceedings - IEEE Computer Security Foundations Symposium, Vol. 2020-June).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  3. 2019
  4. Published

    A Dependently Typed Library for Static Information-Flow Control in IDRIS. / Gregersen, Simon Oddershede; Thomsen, Søren Eller; Askarov, Aslan.

    Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. ed. / Flemming Nielson; David Sands. Cham : Springer, 2019. p. 51-75 (Lecture Notes in Computer Science, Vol. 11426).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Static Enforcement of Security in Runtime Systems. / Pedersen, Mathias; Askarov, Aslan.

    Proceedings - 2019 IEEE 32nd Computer Security Foundations Symposium, CSF 2019. IEEE, 2019. p. 335-350 8823712.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  6. 2018
  7. Published

    Compositional Non-interference for Concurrent Programs via Separation and Framing. / Karbyshev, Aleksandr; Svendsen, Kasper; Askarov, Aslan; Birkedal, Lars.

    Principles of Security and Trust. ed. / Lujo Bauer; Ralf Küsters. Vol. 10804 Cham : Springer VS, 2018. p. 53-78 (Lecture Notes in Computer Science (LNCS); No. 10804).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  8. 2017
  9. Published

    From Trash to Treasure : Timing-Sensitive Garbage Collection. / Pedersen, Mathias V.; Askarov, Aslan.

    2017 IEEE Symposium on Security and Privacy, SP 2017 - Proceedings. IEEE Computer Society Press, 2017. p. 693-709 7958605.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  10. 2015
  11. Published

    Cryptographic Enforcement of Language-Based Information Erasure. / Askarov, Aslan; Moore, Scott ; Dimoulas, Christos ; Chong, Stephen .

    28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings. ed. / Luca Viganò. IEEE Computer Society Press, 2015. p. 334-348.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  12. Published

    Hybrid Monitors for Concurrent Noninterference. / Askarov, Aslan; Chong, Stephen ; Mantel, Heiko antel.

    28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings. ed. / Luca Viganò. IEEE Computer Society Press, 2015. p. 137 - 151.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review