Aslan Askarov

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 15

Top Venues

CSF

CoRR

POST

Proc. ACM Program. Lang.

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

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) (2023)
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads. CoRR (2023)
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads. CSF (2023)
Boel Nelson, Elena Pagnin, Aslan Askarov
To Signal or Not to Signal? Layering Traffic Analysis Resistance on Secure Instant Messaging. CoRR (2022)
Boel Nelson, Aslan Askarov
With a Little Help from My Friends: Transport Deniability for Instant Messaging. CoRR (2022)
Mohammad M. Ahmadpanah, Aslan Askarov, Andrei Sabelfeld
Nontransitive Policies Transpiled. EuroS&P (2021)
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
Towards Language-Based Mitigation of Traffic Analysis Attacks. CoRR (2021)
Jeppe Fredsgaard Blaabjerg, Aslan Askarov
Towards Language-Based Mitigation of Traffic Analysis Attacks. CSF (2021)
Johan Bay, Aslan Askarov
Reconciling progress-insensitive noninterference and declassification. CoRR (2020)
Johan Bay, Aslan Askarov
Reconciling progress-insensitive noninterference and declassification. CSF (2020)
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
A Dependently Typed Library for Static Information-Flow Control in Idris. POST (2019)
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
A Dependently Typed Library for Static Information-Flow Control in Idris. CoRR (2019)
Mathias Vorreiter Pedersen, Aslan Askarov
Static Enforcement of Security in Runtime Systems. CSF (2019)
Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal
Compositional Non-interference for Concurrent Programs via Separation and Framing. POST (2018)
Mathias V. Pedersen, Aslan Askarov
From Trash to Treasure: Timing-Sensitive Garbage Collection. IEEE Symposium on Security and Privacy (2017)
Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong
Cryptographic Enforcement of Language-Based Information Erasure. CSF (2015)
Aslan Askarov, Stephen Chong, Heiko Mantel
Hybrid Monitors for Concurrent Noninterference. CSF (2015)
Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong
Declarative Policies for Capability Control. CSF (2014)
Scott Moore, Aslan Askarov, Stephen Chong
Precise enforcement of progress-sensitive security. CCS (2012)
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)
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
Language-based control and mitigation of timing channels. PLDI (2012)
Aslan Askarov, Stephen Chong
Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies. CSF (2012)
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
Predictive mitigation of timing channels in interactive systems. CCS (2011)
Aslan Askarov, Andrew C. Myers
Attacker Control and Impact for Confidentiality and Integrity Log. Methods Comput. Sci. 7 (3) (2011)
Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
Decentralized Delimited Release. APLAS (2011)
Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
A lattice-based approach to mashup security. AsiaCCS (2010)
Aslan Askarov, Andrew C. Myers
A Semantic Framework for Declassification and Endorsement. ESOP (2010)
Aslan Askarov, Danfeng Zhang, Andrew C. Myers
Predictive black-box mitigation of timing channels. CCS (2010)
Aslan Askarov, Andrei Sabelfeld
Tight Enforcement of Information-Release Policies for Dynamic Languages. CSF (2009)
Aslan Askarov, Andrei Sabelfeld
Catch me if you can: permissive yet secure error handling. PLAS (2009)
Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands
Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS (2008)
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Cryptographically-masked flows. Theor. Comput. Sci. 402 (2-3) (2008)
Aslan Askarov, Andrei Sabelfeld
Gradual Release: Unifying Declassification, Encryption and Key Release Policies. IEEE Symposium on Security and Privacy (2007)
Aslan Askarov, Andrei Sabelfeld
Localized delimited release: combining the what and where dimensions of information release. PLAS (2007)
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Cryptographically-Masked Flows. SAS (2006)
Aslan Askarov, Andrei Sabelfeld
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. ESORICS (2005)

Aslan Askarov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aslan Askarov