Aarhus Universitets segl

English

Du er her: AU » Om AU » Organisation » Aslan Askarov » Publikationer

Om AU

Aslan Askarov

1 - 11 ud af 11Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesdato
  1. 2023
  2. Udgivet
    VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. / Liu, Zongyuan; Stepanenko, Sergei; Pichon-Pharabod, Jean et al.
    I: Proceedings of the ACM on Programming Languages , Bind 7, 06.2023, s. 1438-1462.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  3. Udgivet
    OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads. / Blaabjerg, Jeppe Fredsgaard; Askarov, Aslan.
    2023. Paper præsenteret ved 36th IEEE Computer Security Foundations Symposium, Dubrovnik, Kroatien.

    Publikation: Konferencebidrag › Paper › Forskning › peer review

  4. 2021
  5. Udgivet
    Nontransitive policies transpiled. / Ahmadpanah, Mohammad M.; Askarov, Aslan; Sabelfeld, Andrei.
    2021 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, 2021. s. 543-561.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  6. Udgivet
    Towards Language-Based Mitigation of Traffic Analysis Attacks. / Blaabjerg, Jeppe Fredsgaard; Askarov, Aslan.
    2021. Paper præsenteret ved 34th IEEE Computer Security Foundations Symposium, Online, USA.

    Publikation: Konferencebidrag › Paper › Forskning › peer review

  7. 2020
  8. Udgivet
    Reconciling progress-insensitive noninterference and declassification. / Bay, Johan; Askarov, Aslan.
    2020 IEEE 33rd Computer Security Foundations Symposium (CSF). IEEE, 2020. s. 95-106 (Proceedings - IEEE Computer Security Foundations Symposium, Bind 2020-June).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  9. 2019
  10. Udgivet
    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. red. / Flemming Nielson; David Sands. Cham: Springer, 2019. s. 51-75 (Lecture Notes in Computer Science, Bind 11426).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  11. Udgivet
    Static Enforcement of Security in Runtime Systems. / Pedersen, Mathias; Askarov, Aslan.
    Proceedings - 2019 IEEE 32nd Computer Security Foundations Symposium, CSF 2019. IEEE, 2019. s. 335-350 8823712.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  12. 2018
  13. Udgivet
    Compositional Non-interference for Concurrent Programs via Separation and Framing. / Karbyshev, Aleksandr; Svendsen, Kasper; Askarov, Aslan et al.
    Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. red. / Lujo Bauer; Ralf Küsters. Bind 10804 Cham: Springer VS, 2018. s. 53-78 (Lecture Notes in Computer Science (LNCS); Nr. 10804).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  14. 2017
  15. Udgivet
    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. s. 693-709 7958605.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  16. 2015
  17. Udgivet
    Cryptographic Enforcement of Language-Based Information Erasure. / Askarov, Aslan; Moore, Scott ; Dimoulas, Christos et al.
    28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings. red. / Luca Viganò. IEEE Computer Society Press, 2015. s. 334-348.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  18. Udgivet
    Hybrid Monitors for Concurrent Noninterference. / Askarov, Aslan; Chong, Stephen ; Mantel, Heiko antel.
    28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings. red. / Luca Viganò. IEEE Computer Society Press, 2015. s. 137 - 151.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review