Aslan Askarov

43 papers A* 6A 15B 2Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
User Perceptions and Attitudes Toward Untraceability in Messaging Platforms.
Proc. Priv. Enhancing Technol.
Carla F. Griggio, Boel Nelson, Zefan Sramek, Aslan Askarov
2025 J jnl
The downgrading semantics of memory safety.
CoRR
René Rydhof Hansen, Andreas Stenbæk Larsen, Aslan Askarov
2025 J jnl
User Perceptions and Attitudes Toward Untraceability in Messaging Platforms.
CoRR
Carla F. Griggio, Boel Nelson, Zefan Sramek, Aslan Askarov
2024 A conf
Metadata Privacy Beyond Tunneling for Instant Messaging.
EuroS&P
Boel Nelson, Elena Pagnin, Aslan Askarov
2023 A conf
OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads.
CSF
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
2023 J jnl
OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads.
CoRR
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
2023 J jnl
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proc. ACM Program. Lang.
Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal
2022 J jnl
To Signal or Not to Signal? Layering Traffic Analysis Resistance on Secure Instant Messaging.
CoRR
Boel Nelson, Elena Pagnin, Aslan Askarov
2022 J jnl
With a Little Help from My Friends: Transport Deniability for Instant Messaging.
CoRR
Boel Nelson, Aslan Askarov
2021 A conf
Nontransitive Policies Transpiled.
EuroS&P
Mohammad M. Ahmadpanah, Aslan Askarov, Andrei Sabelfeld
2021 A conf
Towards Language-Based Mitigation of Traffic Analysis Attacks.
CSF
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
2021 J jnl
Towards Language-Based Mitigation of Traffic Analysis Attacks.
CoRR
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
2020 A conf
Reconciling progress-insensitive noninterference and declassification.
CSF
Johan Bay, Aslan Askarov
2020 J jnl
Reconciling progress-insensitive noninterference and declassification.
CoRR
Johan Bay, Aslan Askarov
2019 — conf
A Dependently Typed Library for Static Information-Flow Control in Idris.
POST
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
2019 J jnl
A Dependently Typed Library for Static Information-Flow Control in Idris.
CoRR
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
2019 — ed.
Secure IT Systems - 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18-20, 2019, Proceedings
NordSec
Aslan Askarov, René Rydhof Hansen, Willard Rafnsson
2019 A conf
Static Enforcement of Security in Runtime Systems.
CSF
Mathias Vorreiter Pedersen, Aslan Askarov
2018 — conf
Compositional Non-interference for Concurrent Programs via Separation and Framing.
POST
Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal
2017 A* conf
From Trash to Treasure: Timing-Sensitive Garbage Collection.
IEEE Symposium on Security and Privacy
Mathias V. Pedersen, Aslan Askarov
2015 A conf
Cryptographic Enforcement of Language-Based Information Erasure.
CSF
Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong
2015 A conf
Hybrid Monitors for Concurrent Noninterference.
CSF
Aslan Askarov, Stephen Chong, Heiko Mantel
2014 A conf
Declarative Policies for Capability Control.
CSF
Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong
2012 A* conf
Language-based control and mitigation of timing channels.
PLDI
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
2012 A conf
Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies.
CSF
Aslan Askarov, Stephen Chong
2012 A* conf
Precise enforcement of progress-sensitive security.
CCS
Scott Moore, Aslan Askarov, Stephen Chong
2012 A* conf
Sharing Mobile Code Securely with Information Flow Control.
IEEE Symposium on Security and Privacy
Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers
2011 J jnl
Attacker Control and Impact for Confidentiality and Integrity
Log. Methods Comput. Sci.
Aslan Askarov, Andrew C. Myers
2011 B conf
Decentralized Delimited Release.
APLAS
Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
2011 A* conf
Predictive mitigation of timing channels in interactive systems.
CCS
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
2011 — ed.
Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011
PLAS
Aslan Askarov, Joshua D. Guttman
2010 A conf
A Semantic Framework for Declassification and Endorsement.
ESOP
Aslan Askarov, Andrew C. Myers
2010 A conf
A lattice-based approach to mashup security.
AsiaCCS
Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
2010 A* conf
Predictive black-box mitigation of timing channels.
CCS
Aslan Askarov, Danfeng Zhang, Andrew C. Myers
2009 — conf
Catch me if you can: permissive yet secure error handling.
PLAS
Aslan Askarov, Andrei Sabelfeld
2009 — —
Policies and Mechanisms for Securing Information Release.
Aslan Askarov
2009 A conf
Tight Enforcement of Information-Release Policies for Dynamic Languages.
CSF
Aslan Askarov, Andrei Sabelfeld
2008 J jnl
Cryptographically-masked flows.
Theor. Comput. Sci.
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
2008 A conf
Termination-Insensitive Noninterference Leaks More Than Just a Bit.
ESORICS
Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands
2007 — conf
Gradual Release: Unifying Declassification, Encryption and Key Release Policies.
S&P
Aslan Askarov, Andrei Sabelfeld
2007 — conf
Localized delimited release: combining the what and where dimensions of information release.
PLAS
Aslan Askarov, Andrei Sabelfeld
2006 B conf
Cryptographically-Masked Flows.
SAS
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
2005 A conf
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.
ESORICS
Aslan Askarov, Andrei Sabelfeld