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
2522008
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2122010
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
2002007
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
1812012
Tight enforcement of information-release policies for dynamic languages
A Askarov, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009
1712009
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
1472011
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
912012
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
802007
A lattice-based approach to mashup security
J Magazinius, A Askarov, A Sabelfeld
Proceedings of the 5th ACM symposium on information, computer and …, 2010
762010
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
742005
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
712012
A semantic framework for declassification and endorsement
A Askarov, A Myers
European Symposium on Programming, 64-84, 2010
672010
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
412014
Hybrid monitors for concurrent noninterference
A Askarov, S Chong, H Mantel
2015 IEEE 28th Computer Security Foundations Symposium, 137-151, 2015
402015
Precise enforcement of progress-sensitive security
S Moore, A Askarov, S Chong
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
382012
Cryptographically-masked flows
A Askarov, D Hedin, A Sabelfeld
Theoretical Computer Science 402 (2-3), 82-101, 2008
362008
Attacker control and impact for confidentiality and integrity
A Askarov, A Myers
Logical Methods in Computer Science 7, 2011
352011
Cryptographically-masked flows
A Askarov, D Hedin, A Sabelfeld
International Static Analysis Symposium, 353-369, 2006
352006
Secure implementation of cryptographic protocols: A case study of mutual distrust
A Askarov, A Sabelfeld
Chalmers tekniska högsk., 2005
302005
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