Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. - Aslan Askarov; Andrei Sabelfeld (ESORICS, 2005)

Localized delimited release: combining the what and where dimensions of information release. - Aslan Askarov; Andrei Sabelfeld (PLAS, 2007)

Gradual Release: Unifying Declassification, Encryption and Key Release Policies. - Aslan Askarov; Andrei Sabelfeld (S&P, 2007)

Termination-Insensitive Noninterference Leaks More Than Just a Bit. - Aslan Askarov; Sebastian Hunt; Andrei Sabelfeld; David Sands 001 (ESORICS, 2008)

Cryptographically-masked flows. - Aslan Askarov; Daniel Hedin; Andrei Sabelfeld (Theor. Comput. Sci., 2008)

Tight Enforcement of Information-Release Policies for Dynamic Languages. - Aslan Askarov; Andrei Sabelfeld (CSF, 2009)

Catch me if you can: permissive yet secure error handling. - Aslan Askarov; Andrei Sabelfeld (PLAS, 2009)

Policies and Mechanisms for Securing Information Release. - Aslan Askarov (2009)

Predictive black-box mitigation of timing channels. - Aslan Askarov; Danfeng Zhang; Andrew C. Myers (CCS, 2010)

A lattice-based approach to mashup security. - Jonas Magazinius; Aslan Askarov; Andrei Sabelfeld (AsiaCCS, 2010)

A Semantic Framework for Declassification and Endorsement. - Aslan Askarov; Andrew C. Myers (ESOP, 2010)

Decentralized Delimited Release. - Jonas Magazinius; Aslan Askarov; Andrei Sabelfeld (APLAS, 2011)

Predictive mitigation of timing channels in interactive systems. - Danfeng Zhang; Aslan Askarov; Andrew C. Myers (CCS, 2011)

Attacker Control and Impact for Confidentiality and Integrity - Aslan Askarov; Andrew C. Myers (Log. Methods Comput. Sci., 2011)

Precise enforcement of progress-sensitive security. - Scott Moore 001; Aslan Askarov; Stephen Chong (CCS, 2012)

Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies. - Aslan Askarov; Stephen Chong (CSF, 2012)

Language-based control and mitigation of timing channels. - Danfeng Zhang; Aslan Askarov; Andrew C. Myers (PLDI, 2012)

Sharing Mobile Code Securely with Information Flow Control. - Owen Arden; Michael D. George; Jed Liu; K. Vikram; Aslan Askarov; Andrew C. Myers (IEEE Symposium on Security and Privacy, 2012)

Declarative Policies for Capability Control. - Christos Dimoulas; Scott Moore 001; Aslan Askarov; Stephen Chong (CSF, 2014)

Hybrid Monitors for Concurrent Noninterference. - Aslan Askarov; Stephen Chong; Heiko Mantel (CSF, 2015)

Cryptographic Enforcement of Language-Based Information Erasure. - Aslan Askarov; Scott Moore 001; Christos Dimoulas; Stephen Chong (CSF, 2015)

From Trash to Treasure: Timing-Sensitive Garbage Collection. - Mathias V. Pedersen; Aslan Askarov (IEEE Symposium on Security and Privacy, 2017)

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

Static Enforcement of Security in Runtime Systems. - Mathias Vorreiter Pedersen; Aslan Askarov (CSF, 2019)

A Dependently Typed Library for Static Information-Flow Control in Idris. - Simon Oddershede Gregersen; Søren Eller Thomsen; Aslan Askarov (POST, 2019)

Reconciling progress-insensitive noninterference and declassification. - Johan Bay; Aslan Askarov (CSF, 2020)

Towards Language-Based Mitigation of Traffic Analysis Attacks. - Jeppe Fredsgaard Blaabjerg; Aslan Askarov (CSF, 2021)

Nontransitive Policies Transpiled. - Mohammad M. Ahmadpanah; Aslan Askarov; Andrei Sabelfeld (EuroS&P, 2021)

With a Little Help from My Friends: Transport Deniability for Instant Messaging. - Boel Nelson; Aslan Askarov (CoRR, 2022)

To Signal or Not to Signal? Layering Traffic Analysis Resistance on Secure Instant Messaging. - Boel Nelson; Elena Pagnin; Aslan Askarov (CoRR, 2022)

OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads. - Jeppe Fredsgaard Blaabjerg; Aslan Askarov (CSF, 2023)

VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. - Zongyuan Liu 001; Sergei Stepanenko; Jean Pichon-Pharabod; Amin Timany; Aslan Askarov; Lars Birkedal (Proc. ACM Program. Lang., 2023)

Metadata Privacy Beyond Tunneling for Instant Messaging. - Boel Nelson; Elena Pagnin; Aslan Askarov (EuroS&P, 2024)

User Perceptions and Attitudes Toward Untraceability in Messaging Platforms. - Carla F. Griggio; Boel Nelson; Zefan Sramek; Aslan Askarov (CoRR, 2025)

The downgrading semantics of memory safety. - René Rydhof Hansen; Andreas Stenbæk Larsen; Aslan Askarov (CoRR, 2025)