Aslan Askarov
Aslan Askarov
Associate Professor at Aarhus University
Verified email at cs.au.dk - Homepage
Title
Cited by
Cited by
Year
Termination-insensitive noninterference leaks more than just a bit
A Askarov, S Hunt, A Sabelfeld, D Sands
Computer Security-ESORICS 2008, 333-348, 2008
2332008
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
Proceedings of the 17th ACM conference on Computer and communications …, 2010
1982010
Gradual release: Unifying declassification, encryption and key release policies
A Askarov, A Sabelfeld
2007 IEEE Symposium on Security and Privacy (SP'07), 207-221, 2007
1702007
Tight enforcement of information-release policies for dynamic languages
A Askarov, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009
1592009
Language-based control and mitigation of timing channels
D Zhang, A Askarov, AC Myers
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1532012
Predictive mitigation of timing channels in interactive systems
D Zhang, A Askarov, AC Myers
Proceedings of the 18th ACM conference on Computer and communications …, 2011
1362011
Sharing mobile code securely with information flow control
O Arden, MD George, J Liu, K Vikram, A Askarov, AC Myers
2012 IEEE Symposium on Security and Privacy, 191-205, 2012
752012
A lattice-based approach to mashup security
J Magazinius, A Askarov, A Sabelfeld
Proceedings of the 5th ACM symposium on information, computer and …, 2010
712010
Localized delimited release: combining the what and where dimensions of information release
A Askarov, A Sabelfeld
Proceedings of the 2007 workshop on Programming languages and analysis for …, 2007
712007
Security-typed languages for implementation of cryptographic protocols: A case study
A Askarov, A Sabelfeld
European Symposium on Research in Computer Security, 197-221, 2005
702005
A semantic framework for declassification and endorsement
A Askarov, A Myers
European Symposium on Programming, 64-84, 2010
652010
Learning is change in knowledge: Knowledge-based security for dynamic policies
A Askarov, S Chong
2012 IEEE 25th Computer Security Foundations Symposium, 308-322, 2012
552012
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
372014
Precise enforcement of progress-sensitive security
S Moore, A Askarov, S Chong
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
352012
Hybrid monitors for concurrent noninterference
A Askarov, S Chong, H Mantel
2015 IEEE 28th Computer Security Foundations Symposium, 137-151, 2015
342015
Cryptographically-masked flows
A Askarov, D Hedin, A Sabelfeld
International Static Analysis Symposium, 353-369, 2006
332006
Cryptographically-masked flows
A Askarov, D Hedin, A Sabelfeld
Theoretical Computer Science 402 (2-3), 82-101, 2008
302008
Secure implementation of cryptographic protocols: A case study of mutual distrust
A Askarov, A Sabelfeld
Chalmers tekniska högsk., 2005
302005
Attacker control and impact for confidentiality and integrity
A Askarov, A Myers
arXiv preprint arXiv:1107.5594, 2011
292011
Catch me if you can: Permissive yet secure error handling
A Askarov, A Sabelfeld
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009
242009
The system can't perform the operation now. Try again later.
Articles 1–20