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
Publications
|