OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads
Blaabjerg, Jeppe Fredsgaard, Askarov, Aslan
Published in 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (01.07.2023)
Published in 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (01.07.2023)
Get full text
Conference Proceeding
Reconciling progress-insensitive noninterference and declassification
Bay, Johan, Askarov, Aslan
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Get full text
Conference Proceeding
Towards Language-Based Mitigation of Traffic Analysis Attacks
Blaabjerg, Jeppe Fredsgaard, Askarov, Aslan
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Get full text
Conference Proceeding
A Dependently Typed Library for Static Information-Flow Control in Idris
Get full text
Paper
Journal Article
From Trash to Treasure: Timing-Sensitive Garbage Collection
Pedersen, Mathias V., Askarov, Aslan
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Get full text
Conference Proceeding
Static Enforcement of Security in Runtime Systems
Vorreiter Pedersen, Mathias, Askarov, Aslan
Published in 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (01.06.2019)
Published in 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (01.06.2019)
Get full text
Conference Proceeding
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Liu, Zongyuan, Stepanenko, Sergei, Pichon-Pharabod, Jean, Timany, Amin, Askarov, Aslan, Birkedal, Lars
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
Tight Enforcement of Information-Release Policies for Dynamic Languages
Askarov, A., Sabelfeld, A.
Published in 2009 22nd IEEE Computer Security Foundations Symposium (01.07.2009)
Published in 2009 22nd IEEE Computer Security Foundations Symposium (01.07.2009)
Get full text
Conference Proceeding
Termination-Insensitive Noninterference Leaks More Than Just a Bit
Askarov, Aslan, Hunt, Sebastian, Sabelfeld, Andrei, Sands, David
Published in Computer Security - ESORICS 2008 (2008)
Published in Computer Security - ESORICS 2008 (2008)
Get full text
Book Chapter
Conference Proceeding
Cryptographically-masked flows
Askarov, Aslan, Hedin, Daniel, Sabelfeld, Andrei
Published in Theoretical computer science (08.08.2008)
Published in Theoretical computer science (08.08.2008)
Get full text
Journal Article
Gradual Release: Unifying Declassification, Encryption and Key Release Policies
Askarov, A., Sabelfeld, A.
Published in 2007 IEEE Symposium on Security and Privacy (SP '07) (01.05.2007)
Published in 2007 IEEE Symposium on Security and Privacy (SP '07) (01.05.2007)
Get full text
Conference Proceeding
Metadata Privacy Beyond Tunneling for Instant Messaging
Nelson, Boel, Pagnin, Elena, Askarov, Aslan
Published in 2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P) (08.07.2024)
Published in 2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P) (08.07.2024)
Get full text
Conference Proceeding
Cryptographically-Masked Flows
Askarov, Aslan, Hedin, Daniel, Sabelfeld, Andrei
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2006)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2006)
Get full text
Book Chapter
Conference Proceeding
Sharing Mobile Code Securely with Information Flow Control
Arden, O., George, M. D., Liu, J., Vikram, K., Askarov, A., Myers, A. C.
Published in 2012 IEEE Symposium on Security and Privacy (01.05.2012)
Published in 2012 IEEE Symposium on Security and Privacy (01.05.2012)
Get full text
Conference Proceeding