Seguir
Aslan Askarov
Aslan Askarov
Associate Professor at Aarhus University
Dirección de correo verificada de cs.au.dk - Página principal
Título
Citado por
Citado por
Año
Termination-insensitive noninterference leaks more than just a bit
A Askarov, S Hunt, A Sabelfeld, D Sands
Computer Security-ESORICS 2008, 333-348, 2008
2532008
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2142010
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
2022007
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
1822012
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
1492011
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
922012
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
822007
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
772005
A lattice-based approach to mashup security
J Magazinius, A Askarov, A Sabelfeld
Proceedings of the 5th ACM symposium on information, computer and …, 2010
752010
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
732012
A semantic framework for declassification and endorsement
A Askarov, A Myers
European Symposium on Programming, 64-84, 2010
662010
Hybrid monitors for concurrent noninterference
A Askarov, S Chong, H Mantel
2015 IEEE 28th Computer Security Foundations Symposium, 137-151, 2015
402015
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
402014
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
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
312005
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20