Aslan Askarov

Citat de

	Toate	Din 2020
Referințe bibliografice	2088	481
h-index	21	12
i10-index	23	13

200

100

150

2005200620072008200920102011201220132014201520162017201820192020202120222023202420256 23 38 41 64 75 131 145 118 130 172 153 193 133 149 97 118 85 91 85 5

Acces public

Afișați-le pe toate

9 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Andrei SabelfeldChalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityAdresă de e-mail confirmată pe cs.cornell.edu
Danfeng ZhangDuke UniversityAdresă de e-mail confirmată pe duke.edu
Stephen ChongHarvard UniversityAdresă de e-mail confirmată pe seas.harvard.edu
Scott MooreGalois, Inc.Adresă de e-mail confirmată pe galois.com
Jonas MagaziniusPhD of Computer Science, Chalmers UniversityAdresă de e-mail confirmată pe assured.se
David SandsProfessor of Computer Science, Chalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Sebastian HuntDepartment of Computer Science, City University LondonAdresă de e-mail confirmată pe soi.city.ac.uk
Daniel HedinMälardalen UniversityAdresă de e-mail confirmată pe mdh.se
Christos DimoulasPLT @ Northwestern UniversityAdresă de e-mail confirmată pe northwestern.edu
Heiko MantelProfessor, Computer Science, TU DarmstadtAdresă de e-mail confirmată pe cs.tu-darmstadt.de
Owen ArdenAssociate Professor of Computer Science UCSCAdresă de e-mail confirmată pe soe.ucsc.edu
Jed LiuAkita SoftwareAdresă de e-mail confirmată pe cs.cornell.edu
K. VikramSoftware Engineer, TwitterAdresă de e-mail confirmată pe twitter.com
Mathias Vorreiter PedersenAarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Aleksandr KarbyshevHeliaxAdresă de e-mail confirmată pe heliax.dev
Kasper SvendsenDepartment of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe itu.dk
Boel NelsonUppsala UniversityAdresă de e-mail confirmată pe it.uu.se
Simon Oddershede GregersenPostdoctoral fellow, New York UniversityAdresă de e-mail confirmată pe nyu.edu

Urmăriți

Aslan Askarov

Associate Professor at Aarhus University

Adresă de e-mail confirmată pe cs.au.dk - Pagina de pornire

Programming Languages Computer Security


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Termination-insensitive noninterference leaks more than just a bit A Askarov, S Hunt, A Sabelfeld, D Sands Computer Security-ESORICS 2008, 333-348, 2008	264	2008
Predictive black-box mitigation of timing channels A Askarov, D Zhang, AC Myers Proceedings of the 17th ACM conference on Computer and communications …, 2010	223	2010
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	210	2007
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	186	2012
Tight enforcement of information-release policies for dynamic languages A Askarov, A Sabelfeld 2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009	178	2009
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	153	2011
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	93	2012
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	83	2007
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	82	2005
A lattice-based approach to mashup security J Magazinius, A Askarov, A Sabelfeld Proceedings of the 5th ACM symposium on information, computer and …, 2010	76	2010
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	75	2012
A semantic framework for declassification and endorsement A Askarov, A Myers European Symposium on Programming, 64-84, 2010	70	2010
Hybrid monitors for concurrent noninterference A Askarov, S Chong, H Mantel 2015 IEEE 28th Computer Security Foundations Symposium, 137-151, 2015	45	2015
Declarative policies for capability control C Dimoulas, S Moore, A Askarov, S Chong 2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014	43	2014
Precise enforcement of progress-sensitive security S Moore, A Askarov, S Chong Proceedings of the 2012 ACM conference on Computer and communications …, 2012	38	2012
Cryptographically-masked flows A Askarov, D Hedin, A Sabelfeld Theoretical Computer Science 402 (2-3), 82-101, 2008	38	2008
Attacker control and impact for confidentiality and integrity A Askarov, A Myers Logical Methods in Computer Science 7, 2011	37	2011
Cryptographically-masked flows A Askarov, D Hedin, A Sabelfeld International Static Analysis Symposium, 353-369, 2006	36	2006
Secure implementation of cryptographic protocols: A case study of mutual distrust A Askarov, A Sabelfeld Chalmers tekniska högsk., 2005	33	2005
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	25	2009

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori