Aslan Askarov
Postdoctoral associate
Email:
aslan (at) cs.cornell.edu
Phone:
607-254-7465
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:
PLAS 2009
,
VODCA 2008
Publications
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
)
Misc
Link
to the old page at Chalmers University