Aarhus University Seal / Aarhus Universitets segl

Aslan Askarov

  1. 2018
  2. 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.

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

  3. 2017
  4. 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

  5. 2015
  6. 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

  7. 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