default search action
Aslan Askarov
Person information
- affiliation: Aarhus University, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c28]Boel Nelson, Elena Pagnin, Aslan Askarov:
Metadata Privacy Beyond Tunneling for Instant Messaging. EuroS&P 2024: 697-723 - 2023
- [j3]Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal:
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. Proc. ACM Program. Lang. 7(PLDI): 1438-1462 (2023) - [c27]Jeppe Fredsgaard Blaabjerg, Aslan Askarov:
OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads. CSF 2023: 292-307 - [i6]Jeppe Fredsgaard Blaabjerg, Aslan Askarov:
OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads. CoRR abs/2301.08148 (2023) - 2022
- [i5]Boel Nelson, Aslan Askarov:
With a Little Help from My Friends: Transport Deniability for Instant Messaging. CoRR abs/2202.02043 (2022) - [i4]Boel Nelson, Elena Pagnin, Aslan Askarov:
To Signal or Not to Signal? Layering Traffic Analysis Resistance on Secure Instant Messaging. CoRR abs/2210.12776 (2022) - 2021
- [c26]Jeppe Fredsgaard Blaabjerg, Aslan Askarov:
Towards Language-Based Mitigation of Traffic Analysis Attacks. CSF 2021: 1-15 - [c25]Mohammad M. Ahmadpanah, Aslan Askarov, Andrei Sabelfeld:
Nontransitive Policies Transpiled. EuroS&P 2021: 543-561 - [i3]Jeppe Fredsgaard Blaabjerg, Aslan Askarov:
Towards Language-Based Mitigation of Traffic Analysis Attacks. CoRR abs/2106.12934 (2021) - 2020
- [c24]Johan Bay, Aslan Askarov:
Reconciling progress-insensitive noninterference and declassification. CSF 2020: 95-106 - [i2]Johan Bay, Aslan Askarov:
Reconciling progress-insensitive noninterference and declassification. CoRR abs/2005.01977 (2020)
2010 – 2019
- 2019
- [c23]Mathias Vorreiter Pedersen, Aslan Askarov:
Static Enforcement of Security in Runtime Systems. CSF 2019: 335-350 - [c22]Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov:
A Dependently Typed Library for Static Information-Flow Control in Idris. POST 2019: 51-75 - [e2]Aslan Askarov, René Rydhof Hansen, Willard Rafnsson:
Secure IT Systems - 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11875, Springer 2019, ISBN 978-3-030-35054-3 [contents] - [i1]Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov:
A Dependently Typed Library for Static Information-Flow Control in Idris. CoRR abs/1902.06590 (2019) - 2018
- [c21]Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal:
Compositional Non-interference for Concurrent Programs via Separation and Framing. POST 2018: 53-78 - 2017
- [c20]Mathias V. Pedersen, Aslan Askarov:
From Trash to Treasure: Timing-Sensitive Garbage Collection. IEEE Symposium on Security and Privacy 2017: 693-709 - 2015
- [c19]Aslan Askarov, Stephen Chong, Heiko Mantel:
Hybrid Monitors for Concurrent Noninterference. CSF 2015: 137-151 - [c18]Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong:
Cryptographic Enforcement of Language-Based Information Erasure. CSF 2015: 334-348 - 2014
- [c17]Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong:
Declarative Policies for Capability Control. CSF 2014: 3-17 - 2012
- [c16]Scott Moore, Aslan Askarov, Stephen Chong:
Precise enforcement of progress-sensitive security. CCS 2012: 881-893 - [c15]Aslan Askarov, Stephen Chong:
Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies. CSF 2012: 308-322 - [c14]Danfeng Zhang, Aslan Askarov, Andrew C. Myers:
Language-based control and mitigation of timing channels. PLDI 2012: 99-110 - [c13]Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers:
Sharing Mobile Code Securely with Information Flow Control. IEEE Symposium on Security and Privacy 2012: 191-205 - 2011
- [j2]Aslan Askarov, Andrew C. Myers:
Attacker Control and Impact for Confidentiality and Integrity. Log. Methods Comput. Sci. 7(3) (2011) - [c12]Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld:
Decentralized Delimited Release. APLAS 2011: 220-237 - [c11]Danfeng Zhang, Aslan Askarov, Andrew C. Myers:
Predictive mitigation of timing channels in interactive systems. CCS 2011: 563-574 - [e1]Aslan Askarov, Joshua D. Guttman:
Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011. ACM 2011, ISBN 978-1-4503-0830-4 [contents] - 2010
- [c10]Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld:
A lattice-based approach to mashup security. AsiaCCS 2010: 15-23 - [c9]Aslan Askarov, Danfeng Zhang, Andrew C. Myers:
Predictive black-box mitigation of timing channels. CCS 2010: 297-307 - [c8]Aslan Askarov, Andrew C. Myers:
A Semantic Framework for Declassification and Endorsement. ESOP 2010: 64-84
2000 – 2009
- 2009
- [b1]Aslan Askarov:
Policies and Mechanisms for Securing Information Release. Chalmers University of Technology, Gothenburg, Sweden, 2009 - [c7]Aslan Askarov, Andrei Sabelfeld:
Tight Enforcement of Information-Release Policies for Dynamic Languages. CSF 2009: 43-59 - [c6]Aslan Askarov, Andrei Sabelfeld:
Catch me if you can: permissive yet secure error handling. PLAS 2009: 45-57 - 2008
- [j1]Aslan Askarov, Daniel Hedin, Andrei Sabelfeld:
Cryptographically-masked flows. Theor. Comput. Sci. 402(2-3): 82-101 (2008) - [c5]Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands:
Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS 2008: 333-348 - 2007
- [c4]Aslan Askarov, Andrei Sabelfeld:
Localized delimited release: combining the what and where dimensions of information release. PLAS 2007: 53-60 - [c3]Aslan Askarov, Andrei Sabelfeld:
Gradual Release: Unifying Declassification, Encryption and Key Release Policies. S&P 2007: 207-221 - 2006
- [c2]Aslan Askarov, Daniel Hedin, Andrei Sabelfeld:
Cryptographically-Masked Flows. SAS 2006: 353-369 - 2005
- [c1]Aslan Askarov, Andrei Sabelfeld:
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. ESORICS 2005: 197-221
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 00:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint