Følg
Aslan Askarov
Aslan Askarov
Associate Professor at Aarhus University
Verifisert e-postadresse på cs.au.dk - Startside
Tittel
Sitert av
Sitert av
År
Termination-insensitive noninterference leaks more than just a bit
A Askarov, S Hunt, A Sabelfeld, D Sands
Computer Security-ESORICS 2008, 333-348, 2008
2642008
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2232010
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
2102007
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
1862012
Tight enforcement of information-release policies for dynamic languages
A Askarov, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009
1782009
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
1532011
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
932012
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
832007
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
822005
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
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
752012
A semantic framework for declassification and endorsement
A Askarov, A Myers
European Symposium on Programming, 64-84, 2010
702010
Hybrid monitors for concurrent noninterference
A Askarov, S Chong, H Mantel
2015 IEEE 28th Computer Security Foundations Symposium, 137-151, 2015
452015
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
432014
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
382008
Attacker control and impact for confidentiality and integrity
A Askarov, A Myers
Logical Methods in Computer Science 7, 2011
372011
Cryptographically-masked flows
A Askarov, D Hedin, A Sabelfeld
International Static Analysis Symposium, 353-369, 2006
362006
Secure implementation of cryptographic protocols: A case study of mutual distrust
A Askarov, A Sabelfeld
Chalmers tekniska högsk., 2005
332005
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
252009
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20