In Proceedings of the 6th IEEE European Symposium on Security and Privacy (Euro S&P'24). Boel Nelson, Elena Pagnin and Aslan Askarov. Runner-up for the distinguished paper award.
In Proceedings of the 44th ACM SIGPLAN Conference on Programming Languages Design & Implementation (PLDI'23). Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov and Lars Birkedal.
In Proceedings of the 36th IEEE Computer Security Foundations Symposium (CSF'23). Jeppe Blaabjerg and Aslan Askarov.
In Proceedings of the 6th IEEE European Symposium on Security and Privacy (Euro S&P'21). Mohammad M. Ahmadpanah, Aslan Askarov and Andrei Sabelfeld.
In Proceedings of the 34th IEEE Computer Security Foundations Symposium (CSF'21). Jeppe Blaabjerg and Aslan Askarov.
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF'20). Johan Bay and Aslan Askarov.
In Proceedings of the 17th Workshop on Foundations of Computer Security (FCS'20). Christoffer Muller Madsen, Jon Michael Aanes and Aslan Askarov.
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF'19). Mathias V. Pedersen and Aslan Askarov.
In Proceedings of the 8th Principles of Security and Trust (POST'19). Simon Gregersen, Soren Eller Thomsen and Aslan Askarov.
In Proceedings of the 7th Principles of Security and Trust (POST'18). Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov and Lars Birkedal.
In Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P'17). Mathias V. Pedersen and Aslan Askarov.
In Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF'15). Aslan Askarov, Stephen Chong and Heiko Mantel.
In Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF'15). Aslan Askarov, Scott Moore, Christos Dimoulas and Stephen Chong.
In Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF'14). Scott Moore, Christos Dimoulas, Aslan Askarov and Stephen Chong.
In Proceedings of the 19th ACM Conference on Computer and Communications Security (CCS'12). Scott Moore, Aslan Askarov and Stephen Chong.
In Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF'12). Aslan Askarov and Stephen Chong.
In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Languages Design & Implementation (PLDI'12). Danfeng Zhang, Aslan Askarov and Andrew C. Myers.
In Proceedings of the 33rd IEEE Symposium on Security and Privacy (S&P'12). Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov and Andrew C. Myers.
In Proceedings of the 9th Asian Symposium on Programming Languages and Systems (APLAS'11). Jonas Magazinius, Aslan Askarov and Andrei Sabelfeld.
Logical Methods in Computer Science (LMCS), 2011. Aslan Askarov and Andrew C. Myers.
In Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS'11). Danfeng Zhang, Aslan Askarov and Andrew C. Myers.
In Proceedings of the 17th ACM Conference on Computer and Communications Security (CCS'10). Aslan Askarov, Danfeng Zhang and Andrew C. Myers.
In Proceedings of the 5th ACM Symposium on Information, Computer and Communication Security (ASIACCS'10). Jonas Magazinius, Aslan Askarov and Andrei Sabelfeld.
In Proceedings of the 19th European Symposium on Programming (ESOP'10). Aslan Askarov and Andrew C. Myers.
In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Analysis for Security (PLAS'09). Aslan Askarov and Andrei Sabelfeld.
In Proceedings of the 22nd IEEE Computer Security Foundations Symposium (CSF'09). Aslan Askarov and Andrei Sabelfeld.
In Proceedings of the 13th European Symposium On Research in Computer Security (ESORICS'08). Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld and David Sands.
Theoretical Computer Science (TCS), 2007. Aslan Askarov, Daniel Hedin and Andrei Sabelfeld.
In Proceedings of the 2nd ACM SIGPLAN Workshop on Programming Languages Analysis for Security (PLAS'07). Aslan Askarov and Andrei Sabelfeld.
In Proceedings of the 28th IEEE Symposium on Security and Privacy (S&P'07). Aslan Askarov and Andrei Sabelfeld.
In Proceedings of the 13th International Static Analysis Symposium (SAS'06). Aslan Askarov, Daniel Hedin and Andrei Sabelfeld.
In Proceedings of the 10th European Symposium On Research in Computer Security (ESORICS'05). Aslan Askarov and Andrei Sabelfeld.