Aslan Askarov

Research interests

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

Professional activitites

• Program committees: PLAS 2009, VODCA 2008

Publications

• 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. [Slides]
• Cryptographically-Masked Flows (SAS'06)
• Security-typed languages for implementation of cryptographic protocols: A case study (ESORICS'05)
• Secure Implementation of Cryptographic Protocols: A Case Study of Mutual Distrust. Master's Thesis. April 2005
• More...

Teaching

• Software Engineering using Formal Methods (Period 1, 2008)
• Language-Based Security (2005-2008)
• Cryptography (2005-2008)
• Concurrent Programming (2005-2008)
• Programming Languages (2006)

Misc

• Link to my departmental page