Aslan Askarov

Aslan Askarov Postdoctoral associate

Department of Computer Science
Cornell University


Visiting scientist (AY 2010-11)
MIT CSAIL

Email:	aslan (at) cs.cornell.edu

Research interests

Programming languages: semantics, type systems, program analysis.
Security: information-flow policies, declassification, programming language-based techniques for enforcement, implementation of security protocols, web security, mitigation of timing channels.

Professional activitites

Program committees: PLAS 2011 (co-chair), ISARCS 2010, PLAS 2009, VODCA 2008

Publications

Attacker Control and Impact for Confidentiality and Integrity (LMCS)
Predictive Mitigation of Timing Channels in Interactive Systems (CCS'11)
Predictive Black-Box Mitigation of Timing Channels (CCS'10)
A Lattice-based Approach to Mashup Security (ASIACCS'10)
A Semantic Framework for Declassification and Endorsement (ESOP'10 )
Catch Me If You Can: Permissive Yet Secure Error Handling (PLAS'09)
Tight Enforcement of Information-Release Policies for Dynamic Languages (CSF'09)
Termination-Insensitive Noninterference Leaks More Than Just a Bit (ESORICS'08)
Cryptographically-Masked Flows (TCS)
Localized Delimited Release: Combining the What and Where Dimensions of Information Release (PLAS'07)
Gradual Release: Unifying Declassification, Encryption, and Key Release Policies (SP'07)
Policies and Mechanisms for Secure Information Release Licentiate Thesis. March 2007.
Cryptographically-Masked Flows (SAS'06)
Security-typed languages for implementation of cryptographic protocols: A case study (ESORICS'05)