Aslan Askarov

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Aslan Askarov

Aslan Askarov Postdoctoral associate

Email:	aslan (at) cs.cornell.edu
Phone:	607-254-6507
Fax:	607-255-4428
Office:	4112
Postal Address: 4130 Upson Hall Department of Computer Science Cornell University Ithaca, NY 14850

I am a postdoc at the Department of Computer Science, Cornell University.

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: ISARCS 2010, PLAS 2009, VODCA 2008

Publications

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. [Slides]
Cryptographically-Masked Flows (SAS'06)
Security-typed languages for implementation of cryptographic protocols: A case study (ESORICS'05)