Education I received my B.E. in
Computer Science from Tsinghua University
(1999), and my Ph.D. in Computer Science from Princeton University (2005) working with Andrew Appel.
Research Interests
- Programming Languages/Software Engineering
- Computer Security
In general, I am interested in methodologies that
help create reliable and secure software
systems.
Research Projects
NEW: Research positions are available (details).
Past projects:
- FPCC: Foundational Proof-Carrying
Code
Recent Publications (list)
- Insecurities
and Inaccuracies of the Sequoia AVC Advantage 9.00H DRE
Voting Machine. Andrew W. Appel, Maia Ginsburg, Harri
Hursti, Brian W. Kernighan, Christopher D. Richards, and
Gang Tan. Redacted version of expert report submitted in
Gusciora v. Corzine, September 2008.
- An Empirical
Security Study of the Native Code in the JDK. Gang Tan
and Jason Croft. In USENIX Security 2008, San Jose,
California, USA, July 2008, pages 365-377.
- ILEA: Inter-Language
Analysis across Java and C. Gang Tan and Greg
Morrisett. In ACM SIGPLAN International conference on
Object-Oriented Programming, Systems, Languages &
Applications (OOPSLA), Montreal, Canada, Oct 2007.
|
