Aslan Askarov

Research interests

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

Professional activities

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

Selected recent publications

• Precise Enforcement of Progress-Sensitive Security (CCS'12)
• Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies (CSF'12)
• Language-Based Control and Mitigation of Timing Channels (PLDI'12)
• Sharing Mobile Code Securely With Information Flow Control (S&P'12)
• Decentralized Delimited Release (APLAS'11)
• 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)
• [more...]