Follow
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
2472008
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2072010
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
1852007
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
1722012
Tight enforcement of information-release policies for dynamic languages
A Askarov, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009
1692009
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
1402011
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
852012
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
772007
Security-typed languages for implementation of cryptographic protocols: A case study
A Askarov, A Sabelfeld
Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005
752005
A lattice-based approach to mashup security
J Magazinius, A Askarov, A Sabelfeld
Proceedings of the 5th ACM symposium on information, computer and …, 2010
732010
A semantic framework for declassification and endorsement
A Askarov, A Myers
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
672010
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
642012
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
402014
Hybrid monitors for concurrent noninterference
A Askarov, S Chong, H Mantel
2015 IEEE 28th Computer Security Foundations Symposium, 137-151, 2015
362015
Precise enforcement of progress-sensitive security
S Moore, A Askarov, S Chong
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
362012
Cryptographically-masked flows
A Askarov, D Hedin, A Sabelfeld
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
352006
Cryptographically-masked flows
A Askarov, D Hedin, A Sabelfeld
Theoretical Computer Science 402 (2-3), 82-101, 2008
312008
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
232009
The system can't perform the operation now. Try again later.
Articles 1–20