Education I received my B.E. in
Computer Science from Tsinghua University
, and my Ph.D. in Computer Science from Princeton University with Andrew Appel.
Research Interests
I lead the Security of Software (SOS) lab at Lehigh. In general, I am interested in methodologies that
help create reliable and secure software systems:
- Programming Languages/Software Engineering
- Computer Security
Teaching
News
- (12/20/08) Research positions available (details).
- (12/10/08) Former SOS member, Jason Croft, wins Honorable Mention in 2009 CRA's Outstanding Undergradute Award.
Research Projects
Recent Publications (list)
- Semantic Foundations for Typed Assembly Languages.
Amml Ahmed, Andrew W. Appel, Chris D. Richards, Gang Tan, and Daniel C. Wang. To appear in ACM Transactions on Programming Languages and Systems (TOPLAS).
[paper]
- 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.
[paper
| video
| presentation
| Slashdot]
- 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.
[paper
| technical report
| presentation]
- 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.
[paper
| presentation]
Links